Update documentation and document the "obligations" flag - #735

Update documentation and document the "obligations" flag#735

blume0 wants to merge 3 commits into

rocq-prover:mainrocq-prover/equations:mainfrom

blume0:doc_update_and_obligationsblume0/equations:doc_update_and_obligationsCopy head branch name to clipboard