Alternatives and similar repositories for superperm

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

• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• adamyedidia / parsimony
  ☆344Updated 7 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆256Updated 6 months ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆163Updated last year
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆66Updated this week
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆105Updated 8 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆122Updated last year
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆228Updated 7 months ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆124Updated 3 years ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆276Updated this week
• bgschiller / latex-therefore
  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
• formalabstracts / formalabstracts
  ☆166Updated 5 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated this week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆25Updated this week
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆82Updated 2 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆29Updated 6 years ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆40Updated 2 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆127Updated last year
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆47Updated 3 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆206Updated last year
• ericastor / rmzoo
  ☆15Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆133Updated last year
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆330Updated 2 years ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• QuestForTetris / tetris-writeup
  A place to draft the answers for the tetris PPCG challenge
  ☆31Updated 8 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆170Updated this week