Alternatives and similar repositories for sgb

Users that are interested in sgb are comparing it to the libraries listed below

• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆33Updated 2 months ago
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 4 years ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year
• ascherer / cweb
  Literate Programming in C/C++
  ☆93Updated 2 months ago
• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆17Updated 2 years ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated 2 months ago
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆63Updated 7 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 10 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• ascherer / sgb
  Stanford GraphBase
  ☆34Updated 10 months ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆43Updated 7 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆161Updated last week
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 2 months ago
• motib / LearnSAT
  SAT solver for education
  ☆26Updated 2 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆125Updated last year
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated 3 weeks ago
• codyroux / broad-coq-tutorial
  Some unstructured notes concerning the Broad tutorial to take place in March 2020
  ☆32Updated 3 years ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆53Updated last year
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• kz04px / libataxx
  A C++ Ataxx library to handle move generation, move validation, and other aspects of the board game Ataxx
  ☆10Updated last year
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 4 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• featurecat / Influencie
  A fun way to visualize influence in the game of Go.
  ☆21Updated 6 years ago
• Wodan58 / joy0
  Original Joy
  ☆10Updated 7 months ago