coqprime

Prime numbers for Coq

37 stars

3 watching

18 forks

Language: Coq

last commit: 4 months ago

Linked from 2 awesome lists

coqelliptic-curvespocklington-certificateprime-numberstheorem-proving

Backlinks from these awesome lists: