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

update locations of goedel and bertrand #34

Closed palmskog closed 1 year ago

palmskog commented 1 year ago

Update URLs for files have moved inside repos and between repos.