tableaunoir / tableaunoir.github.io
Deployed version of Tableaunoir. Do not modify this repository.
☆10Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for tableaunoir.github.io
- Another attempt for visualizing proofs☆10Updated last year
- Cours d'informatique en MP2I (OCaml, C, SQL)☆43Updated 4 months ago
- ☆0Updated last year
- A verified Implementation of a mini prolog☆13Updated last year
- A tiny tikzzz editor in the browser☆11Updated last month
- A simple BDD library for OCaml☆13Updated 2 years ago
- Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes☆19Updated 6 months ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆14Updated 2 weeks ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆51Updated last week
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆22Updated 3 months ago
- Deposited packages of the homalg project☆12Updated last month
- Tiny verified SAT-solver☆28Updated 2 years ago
- Multinomials for the Mathematical Components library.☆14Updated 3 months ago
- A simple and portable floating-point interval arithmetic library in OCaml☆9Updated 2 years ago
- Some MP2I and MPI courses☆14Updated last year
- EGraphs in OCaml☆60Updated 9 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆50Updated last year
- Writing proofs to Twitter since April 2020☆11Updated 2 years ago
- Theorems for Real Closed Fields☆13Updated 2 months ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆19Updated 2 months ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆12Updated 5 months ago
- A simple λProlog interpreter☆20Updated 2 years ago
- Page du cours preuves assistées par ordinateur 2021☆9Updated 7 months ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 3 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Updated 13 years ago
- Prototype code for some Julia-OCaml bindings☆12Updated 3 years ago
- ☆28Updated last year
- Verimag Polyhedra Library☆17Updated 4 years ago
- ☆51Updated 2 months ago