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

fix references to qarith-stern-brocot and bertrand #16

Closed palmskog closed 4 years ago

palmskog commented 4 years ago

I follow the general rule that statements should not be made semantically different than the original statement, but space formatting changes are fine.