Skip to content

Support development Menhir and Rocq 9.3 proof syntax - #590

Draft
JasonGross wants to merge 3 commits into
AbsInt:masterfrom
theorem-labs:claude/rocq-dev-compat
Draft

Support development Menhir and Rocq 9.3 proof syntax#590
JasonGross wants to merge 3 commits into
AbsInt:masterfrom
theorem-labs:claude/rocq-dev-compat

Add in-tree coq-compcert-32.opam without the stale Menhir patch

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

Annotations

2 warnings
macos
succeeded Jul 28, 2026 in 9m 33s