Alternatives and similar repositories for transfinite:

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

• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆41Updated 6 months ago
• cgreer / alpha-zero-boosted
  A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)
  ☆86Updated 4 years ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆21Updated last week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆80Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated 3 weeks ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆59Updated 4 years ago
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆57Updated this week
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 2 years ago
• barakeel / oeis-synthesis
  ☆22Updated this week
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆143Updated this week
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated last year
• PermutaTriangle / comb_spec_searcher
  a Python library for combinatorial exploration
  ☆12Updated 2 weeks ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• teorth / symmetric_project
  ☆86Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆84Updated this week
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆73Updated 2 years ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆40Updated this week
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆90Updated 6 months ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated this week
• zhangir-azerbayev / lean-chat
  ☆49Updated 2 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 2 months ago
• agentultra / lean-for-hackers
  ☆19Updated 2 years ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆26Updated 3 years ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆121Updated 5 months ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆31Updated 8 months ago