Skip to content

feat: first Rocq proof + Rocq CI job (CV-22)#78

Merged
avrabe merged 2 commits intomainfrom
feat/rocq-lean-proofs
Mar 29, 2026
Merged

feat: first Rocq proof + Rocq CI job (CV-22)#78
avrabe merged 2 commits intomainfrom
feat/rocq-lean-proofs

Commits

Commits on Mar 29, 2026