Skip to content

fixed errors with Coq 9.0alpha #43

fixed errors with Coq 9.0alpha

fixed errors with Coq 9.0alpha #43

build-coqdoc

succeeded Feb 4, 2025 in 1m 47s