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 Feuerbach reference and authors #29

Closed palmskog closed 2 years ago

palmskog commented 2 years ago

The source code location of Feuerbach's theorem was pointed out to me by @thery. I also make authorship more precise based on the following paper.