superpermutators / superpermLinks
☆127Updated last year
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☆93Updated 10 months ago
- ☆343Updated 7 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆112Updated 11 months ago
- This project converts structured Lean code into an interactive browser game.☆76Updated last year
- ☆162Updated 5 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- A formal proof of the independence of the continuum hypothesis☆125Updated 9 months ago
- ☆64Updated 2 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- A LaTeX Typesetting Game☆249Updated 2 months ago
- The BIGNUM BAKEOFF was a while ago, but people still ask about this from time to time.☆32Updated 9 years ago
- Lean Library currently studying for a degree at Imperial College☆226Updated 3 months 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
- Formalization of the existence of sphere eversions☆42Updated this week
- A terse declarative logic programming language☆118Updated 4 years ago
- Mathematical proofs of the bbchallenge project.☆24Updated last month
- ☆15Updated last year
- ☆13Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- The Complex Number Game. Make the complex numbers in Lean.☆40Updated 2 years ago
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆78Updated 6 years ago
- Java implementations of sequences in the OEIS☆63Updated this week
- A Lean file formatter☆67Updated 2 years ago
- Repository for the QED interactive text and possible extensions☆100Updated 4 months ago
- Busy Beaver deciders backed by Coq proof☆53Updated 3 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- The Slate Interactive Theorem Prover☆23Updated 2 years ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago