CoqPrime

LGPL-2.1Rocq Proverv8.20.1

A Coq library for certifying primality using Pocklington and Elliptic Curve certificates, with efficient modular arithmetic.

GitHub

44 stars18 forks0 contributors

Overview

Prime numbers for Coq

Related Projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub

4 months ago

CreatedSince 2017

Built With

Coq

Included in

Coq380

Auto-fetched 1 day ago

Homotopy Type Theory

A Coq library for Homotopy Type Theory

Stars1,388

Forks202

Last commit4 days ago

UniMath

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

Stars1,009

Forks187

Last commit2 days ago

Category Theory in Coq

An axiom-free formalization of category theory in Coq for personal study and practical work

Stars802

Forks80

Last commit26 days ago

Analysis

Mathematical Components compliant Analysis Library

Stars244

Forks68