Skip to content

rocq-parseque.0.3.1 is compatible with Rocq 9.3 - #3820

Open
womeier wants to merge 1 commit into
rocq-prover:masterfrom
womeier:parseque
Open

rocq-parseque.0.3.1 is compatible with Rocq 9.3#3820
womeier wants to merge 1 commit into
rocq-prover:masterfrom
womeier:parseque

Commits

Commits on Aug 2, 2026