thery/Selinger thery/Selinger

  • Stars
    star
    1
  • Language Coq
  • Created about 7 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
thery/Selinger
github

thery

Reviews

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

Repository Details

Formalisation of Selinger proof about quantum gate

More Repositories

1

coqprime

Prime numbers for Coq
Coq
37
star
2

hanoi

Hanoi tower in Coq
Coq
24
star
3

T2048

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

grobner

A fornalisation of Grobner basis in ssreflect
Coq
12
star
5

PolTac

Tactic for polynomial manipulations
Coq
10
star
6

lemonde

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

FlocqLecture

Coq
6
star
8

Plouffe

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

mathcomp-extra

Extra contribution for mathcomp
Coq
5
star
10

twoSquare

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

coquelicot

Coq
4
star
12

minirubik

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

robbins

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

sudoku

Sudoku in Coq
Coq
3
star
15

peanoware

Java
2
star
16

nlcertify

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

FourInARow

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

EdwardsEllipticCurve

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

jspeanoware

Javascript version of peaoware
HTML
1
star
20

note

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