Add gramlib support for non-associativity and for deactivating the recovery mode - #17876

Add gramlib support for non-associativity and for deactivating the recovery mode#17876

coqbot-app[bot] merged 12 commits into

rocq-prover:masterrocq-prover/rocq:masterfrom

herbelin:master+gramlib-support-for-non-assoc-and-non-recoveryherbelin/github-coq:master+gramlib-support-for-non-assoc-and-non-recoveryCopy head branch name to clipboard