search

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory
http://homotopytypetheory.org/
Other
1.23k stars 185 forks source link

Prime numbers #2008

Open Alizter opened 4 days ago

Alizter commented 4 days ago

We should develop some theory about divisibility for nat and define a predicate IsPrime. This will be useful for various things that require prime numbers such as algebra and localization.