GitHub / thery / coqprime
Prime numbers for Coq
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/thery%2Fcoqprime
PURL: pkg:github/thery/coqprime
Stars: 42
Forks: 18
Open issues: 0
License: lgpl-2.1
Language: Rocq Prover
Size: 13.4 MB
Dependencies parsed at: Pending
Created at: almost 8 years ago
Updated at: 3 days ago
Pushed at: 3 days ago
Last synced at: 3 days ago
Commit Stats
Commits: 290
Authors: 20
Mean commits per author: 14.5
Development Distribution Score: 0.252
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/thery/coqprime
Topics: coq, elliptic-curves, pocklington-certificate, prime-numbers, theorem-proving