Skip to content

Simplifications

8e0040e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Upgrade to Rocq 9.1 #60

Simplifications
8e0040e
Select commit
Loading
Failed to load commit list.
build (rocq/rocq-prover:9.1)
succeeded Mar 5, 2026 in 17m 18s