Skip to content

Compatibility with coq-interval.4.7.0#17

Merged
andrew-appel merged 1 commit intoVeriNum:masterfrom JasonGross:fix-for-intervalAug 31, 2023
+1-1

Commits

Commits on Aug 6, 2023