Skip to content

Fix a bunch of Coq 8.20 deprecations#802

Open
andrew-appel wants to merge 1 commit intomasterfrom coq8.20deprecations
+272-264

Commits

Commits on Jan 3, 2025