thery/coqprime thery/coqprime

  • Stars
    star
    37
  • Rank 720,807 (Top 15 %)
  • Language Coq
  • License
    GNU Lesser Genera...
  • Created about 7 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
thery/coqprime
github

thery

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Prime numbers for Coq

More Repositories

1

hanoi

Hanoi tower in Coq
Coq
24
star
2

T2048

a version of the 2048 game for Coq
Coq
22
star
3

grobner

A fornalisation of Grobner basis in ssreflect
Coq
12
star
4

PolTac

Tactic for polynomial manipulations
Coq
10
star
5

lemonde

les problèmes proposés par le journal Le Monde en Coq
Coq
7
star
6

FlocqLecture

Coq
6
star
7

Plouffe

Computing Pi decimal using Plouffe Formula in Coq
Coq
6
star
8

mathcomp-extra

Extra contribution for mathcomp
Coq
5
star
9

twoSquare

A proof of Fermat's theorem on sum of two squares with mathcom using gaussian integers.
Coq
4
star
10

coquelicot

Coq
4
star
11

minirubik

Solving the mini Rubik (2x2) in Coq
Coq
4
star
12

robbins

Proof in Coq that all Robbins algebras are Boolean algebras
Coq
3
star
13

sudoku

Sudoku in Coq
Coq
3
star
14

peanoware

Java
2
star
15

nlcertify

NLCertify is a software package for handling formal certification of nonlinear inequalities
OCaml
2
star
16

FourInARow

The proof that Four is a row is a perfect game in Coq
Coq
1
star
17

EdwardsEllipticCurve

Group Law for Elliptic Curves according to Tom Hales
Coq
1
star
18

jspeanoware

Javascript version of peaoware
HTML
1
star
19

note

1
star
20

Selinger

Formalisation of Selinger proof about quantum gate
Coq
1
star
21

gchq

Sat for GCHQ
Coq
1
star
22

TicTacToeTuTor

Java
1
star
23

Fourier

Coq
1
star
24

thery.github.io

HTML
1
star
25

coq_jupyter

Material for Coq under jupyter
Jupyter Notebook
1
star