ajcr / transfiniteLinks
Transfinite ordinal arithmetic and factorisation up to epsilon-zero
☆16Updated 3 years ago
Alternatives and similar repositories for transfinite
Users that are interested in transfinite are comparing it to the libraries listed below
Sorting:
- Metamath verifier in Python☆41Updated 8 months ago
- Probabilistic Programming eXecution protocol (PPX)☆76Updated 3 years ago
- Probabilistic programming system for fast and exact symbolic inference☆85Updated last year
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Updated 2 weeks ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆86Updated 10 months ago
- Source of metamath book☆55Updated 2 years ago
- Formalizing results about the Mandelbrot set in Lean☆27Updated last month
- ☆14Updated last year
- Dyna built on R-exprs (First Prototype)☆17Updated 3 years ago
- The matrix cookbook, proved in the Lean theorem prover☆126Updated 4 months ago
- metamath proof enumerators and other things☆92Updated 2 months ago
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- A formal consistency proof of Quine's set theory New Foundations☆79Updated 7 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- ☆94Updated 2 years ago
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- ☆25Updated 2 weeks ago
- A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)☆87Updated 10 months ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆35Updated this week
- This project converts structured Lean code into an interactive browser game.☆78Updated 2 years ago
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆122Updated last year
- Python talking to the Lean theorem prover☆46Updated 4 years ago
- Metamath source file for logic and set theory☆302Updated this week
- Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.☆65Updated last year
- A computer algebra system for research in combinatorial game theory☆54Updated 2 years ago
- Repository of models in Pyro☆30Updated last year
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆31Updated 4 years ago
- Cellular automata search program☆26Updated 3 years ago
- Busy Beaver deciders backed by Coq proof☆61Updated 11 months ago