Skip to content

coq-coqeal.1.0.5 does not work with coq.dev#1714

Merged
clarus merged 1 commit intocoq:masterfrom pi8027:fix-coqealMay 14, 2021
+1-1

Commits

Commits on May 13, 2021