Alternatives and similar repositories for transfinite:

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

• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆41Updated 3 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 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆36Updated last week
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆48Updated last month
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆80Updated last week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 8 months ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆59Updated 4 years ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆21Updated last month
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 8 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 4 months ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆32Updated 3 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆28Updated this week
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆33Updated this week
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆59Updated 4 months ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆27Updated 3 years ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆24Updated 2 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated 3 weeks ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• teorth / expdb
  Exponent pair database
  ☆42Updated this week
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• lorepozo / program-induction
  A library for program induction and learning representations.
  ☆30Updated last year
• barakeel / oeis-synthesis
  ☆22Updated this week
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year