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

Change name for this repository? #5

Closed jmadiot closed 3 years ago

jmadiot commented 4 years ago

coq100 was only chosen to correspond to the current url. There's probably a better name. Feel free to add suggestions, for now I'm thinking "coq-100-theorems".

Zimmi48 commented 3 years ago

coq-100-theorems does sound better than coq100 to me!

jmadiot commented 3 years ago

Well, coq-100-theorems it now is.