Content mirrored for search engine indexing from:

https://github.com/coq/coq/wiki/Top100MathematicalTheorems

Why does this service exist?

📅 Last Modified: Wed, 11 Oct 2017 23:04:30 GMT

Top100MathematicalTheorems - coq/coq GitHub Wiki

http://personal.stevens.edu/~nkahl/Top100Theorems.html
http://www.cs.ru.nl/~freek/100/

🗂️ Page Index for this GitHub Wiki