Boutry

University of StrasbourgStrasbourg

Pinned Repositories

verbose-lean4
Natural language tactics to teach mathematics using Lean 4
Language:Lean0 0 00
coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
Language:HTML57 4 714
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language:OCaml4.9k 104 10.1k662
opam
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml133 19 131167
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
Language:OCaml329 22 25349
BoutryPersonal
Faculty - Responsive Academic Personal Profile
Language:HTML6 6 03
GeoCoq
A formalization of geometry in Coq based on Tarski's axiom system
Language:Coq190 16 1426
vscode
Visual Studio Code
Language:TypeScript166k 3.3k 189k30.1k
dune
A composable build system for OCaml.
Language:OCaml1.7k 40 3.1k412
verbose-lean4
Natural language tactics to teach mathematics using Lean 4
Language:Lean56 4 411

Boutry/verbose-lean4
Natural language tactics to teach mathematics using Lean 4
Language:Lean0 0 00