issues
search
coq-community
/
coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
https://madiot.fr/coq100/
Other
55
stars
14
forks
source link
backwards-compatible fixes of deprecations in recent Coq
#31
Closed
palmskog
closed
2 years ago