Discover @thery Open Source projects

Laurent Théry (@thery)

thery

Stars
200
Global Rank 123,249 (Top 5 %)
Followers 44
Registered over 10 years ago
Most used languages

Coq 76.0 %

HTML
8.0 %

Java
8.0 %

OCaml
4.0 %

Jupyter Notebook
4.0 %
Location 🇫🇷 France
Country Total Rank 3,293
Country Ranking

Coq 3

OCaml
275

Java
2,922

Jupyter Notebook
2,982

HTML
3,108

coqprime

Prime numbers for Coq

hanoi

Hanoi tower in Coq

T2048

a version of the 2048 game for Coq

grobner

A fornalisation of Grobner basis in ssreflect

PolTac

Tactic for polynomial manipulations

lemonde

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

FlocqLecture

Plouffe

Computing Pi decimal using Plouffe Formula in Coq

mathcomp-extra

Extra contribution for mathcomp

twoSquare

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

coquelicot

minirubik

Solving the mini Rubik (2x2) in Coq

robbins

Proof in Coq that all Robbins algebras are Boolean algebras

sudoku

peanoware

nlcertify

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

FourInARow

The proof that Four is a row is a perfect game in Coq

EdwardsEllipticCurve

Group Law for Elliptic Curves according to Tom Hales

jspeanoware

Javascript version of peaoware

note

Selinger

Formalisation of Selinger proof about quantum gate

gchq

TicTacToeTuTor

Fourier

thery.github.io

coq_jupyter

Material for Coq under jupyter

Jupyter Notebook