superpermutators / superpermLinks
☆126Updated 2 years ago
Alternatives and similar repositories for superperm
Users that are interested in superperm are comparing it to the libraries listed below
Sorting:
- metamath proof enumerators and other things☆94Updated last year
- ☆343Updated 7 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆118Updated last year
- The formal proof of the Kepler conjecture☆161Updated last year
- Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …☆200Updated 8 years ago
- L-Functions and Modular Forms Database☆273Updated last week
- Java implementations of sequences in the OEIS☆64Updated this week
- A repository for the Quest For Tetris☆183Updated 4 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated 2 weeks ago
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- A LaTeX Typesetting Game☆256Updated 4 months ago
- Metamath source file for logic and set theory☆288Updated this week
- A terse declarative logic programming language☆118Updated 5 years ago
- A file-based mirror of the nLab wiki (HTML format).☆24Updated this week
- Python implementation of the monster group☆51Updated 3 weeks ago
- Lean Library currently studying for a degree at Imperial College☆226Updated 5 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago
- Perfectoid spaces in the Lean formal theorem prover.☆125Updated last year
- Repository for the QED interactive text and possible extensions☆104Updated 6 months ago
- ☆165Updated 5 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆245Updated 10 years ago
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆78Updated 6 years ago
- Formalizations of Gödel's Ontological Proof of God's Existence☆451Updated 6 years ago
- Metamath verifier in Python☆40Updated 2 months ago
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated this week
- Let's translate works of Grothendieck☆26Updated 5 years ago
- some maths papers in English☆18Updated this week
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago