update documentation and bump itauto to 9.1#533

Justme0606 wants to merge 1 commit into

rocq-prover:mainrocq-prover/platform:mainfrom

Justme0606:feat/documentation-9.1Justme0606/platform:feat/documentation-9.1Copy head branch name to clipboard