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
- The formal proof of the Kepler conjecture☆162Updated last year
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- 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
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated this week
- Repository for the QED interactive text and possible extensions☆104Updated 7 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆119Updated last year
- ☆14Updated last year
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- ☆165Updated 5 years ago
- A LaTeX Typesetting Game☆255Updated 5 months ago
- L-Functions and Modular Forms Database☆275Updated this week
- Lean Library currently studying for a degree at Imperial College☆226Updated 6 months ago
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Java implementations of sequences in the OEIS☆65Updated this week
- Perfectoid spaces in the Lean formal theorem prover.☆125Updated last year
- Metamath verifier in Python☆40Updated 2 months ago
- Metamath source file for logic and set theory☆290Updated last week
- Formalizations of Gödel's Ontological Proof of God's Existence☆452Updated 6 years ago
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆78Updated 6 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- Listing of online math seminars☆43Updated 11 months ago
- ☆23Updated this week
- Let's translate works of Grothendieck☆27Updated 6 years ago
- some maths papers in English☆19Updated 3 weeks ago
- Python implementation of the monster group☆52Updated this week
- ☆327Updated 5 months ago