Skip to content

Migrate the proofs to Rocq 9.2; keep the published Coq 8.20.1 version in coq-legacy/ - #1

Merged
probatur merged 1 commit into
mainfrom
rocq-migration
Oct 21, 2026
Merged

Migrate the proofs to Rocq 9.2; keep the published Coq 8.20.1 version in coq-legacy/#1
probatur merged 1 commit into
mainfrom
rocq-migration

Migrate the proofs to Rocq 9.2; keep the published Coq 8.20.1 version…

761d4d1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar