Pocklington's criterion for primality in Coq [maintainer=@Casteran]
Primary LanguageCoqGNU Lesser General Public License v2.1LGPL-2.1