Skip to content

Discharge on the fly - #72

Open
herbelin wants to merge 1 commit into
rocq-prover:masterfrom
herbelin:discharge-on-the-fly
Open

Discharge on the fly#72
herbelin wants to merge 1 commit into
rocq-prover:masterfrom
herbelin:discharge-on-the-fly

Commits

Commits on Jul 31, 2023