Alternatives and similar repositories for tableaunoir.github.io

Users that are interested in tableaunoir.github.io are comparing it to the libraries listed below

• mp2i-info / mp2i-info.github.io
  Cours d'informatique en MP2I (OCaml, C, SQL)
  ☆46Updated 5 months ago
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated last year
• thautwarm / Sequent.jl
  formally and easily, describe the semantics.
  ☆13Updated 5 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆56Updated 2 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• InfoSansOrdi / pedago-rennes
  Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
  ☆19Updated 3 weeks ago
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 8 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆17Updated last month
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆16Updated 3 months ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆37Updated 3 months ago
• nfzhou / lp-contest
  ☆11Updated 4 months ago
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆12Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• backtracking / creal
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Updated last year
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆54Updated this week
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆34Updated 7 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆64Updated 2 weeks ago
• Gbury / archsat
  A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…
  ☆27Updated 2 years ago
• acorrenson / minilog
  A verified Implementation of a mini prolog
  ☆17Updated 3 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆16Updated last year
• francoisschwarzentruber / tikzzz
  A tiny tikzzz editor in the browser
  ☆10Updated 10 months ago
• LaurentMazare / ocaml.jl
  Prototype code for some Julia-OCaml bindings
  ☆16Updated 5 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• monadius / ocaml_simple_interval
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10Updated 3 years ago
• craff / phox
  ☆14Updated last year
• rocq-community / bignums
  Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…
  ☆25Updated last month
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆13Updated last week
• ecranceMERCE / trakt
  A generic goal preprocessing tool for proof automation tactics in Coq
  ☆15Updated this week
• ianjauslin-rutgers / pythagoras4
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Updated 2 years ago