thery/nlcertify thery/nlcertify

  • Stars
    star
    2
  • Language
    OCaml
  • License
    CeCILL Free Softw...
  • Created over 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
thery/nlcertify
github

thery

Reviews

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

Repository Details

NLCertify is a software package for handling formal certification of nonlinear inequalities

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

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