Skip to content

adapt to coq/coq#18730#1826

Merged
andres-erbsen merged 1 commit intomit-plv:masterfrom andres-erbsen:zify-nat-by-defaultMar 1, 2024

Commits

Commits on Feb 29, 2024