Skip to content

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

Merged
coqbot-app[bot] merged 12 commits into
rocq-prover:masterfrom
herbelin:master+gramlib-support-for-non-assoc-and-non-recovery
Jul 4, 2025
Merged

Add gramlib support for non-associativity and for deactivating the recovery mode#17876
coqbot-app[bot] merged 12 commits into
rocq-prover:masterfrom
herbelin:master+gramlib-support-for-non-assoc-and-non-recovery

[CI] Temporarily disactivate kami

5d7b04d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.