Alternatives and similar repositories for topologygame

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

• apnelson1 / lean-matroids

  View on GitHub
  Matroids in Lean
  ☆18Dec 23, 2023Updated 2 years ago
• sorear / smetamath-rs

  View on GitHub
  sorear's Metamath system engine - version 3 Rust
  ☆25May 31, 2023Updated 2 years ago
• leanprover-community / mathlib-changelog

  View on GitHub
  ☆14Updated this week
• kendfrey / rubiks-cube-group

  View on GitHub
  A formalization of the Rubik's cube group
  ☆28Oct 1, 2020Updated 5 years ago
• erpuno / hl7

  View on GitHub
  💠 HL7: FHIR Application Server ISO/HL7 27931:2009
  ☆11Jul 8, 2025Updated 7 months ago
• b-mehta / combinatorics

  View on GitHub
  ☆24May 23, 2022Updated 3 years ago
• ah1112 / synthetic_euclid_4

  View on GitHub
  ☆11Feb 18, 2024Updated last year
• google / formal-ml

  View on GitHub
  ☆25Apr 21, 2021Updated 4 years ago
• leanprover / lean-client-js

  View on GitHub
  ☆38May 31, 2023Updated 2 years ago
• leanprover-community / lean-client-python

  View on GitHub
  Python talking to the Lean theorem prover
  ☆46Aug 25, 2021Updated 4 years ago
• Ja1941 / hilberts-axioms

  View on GitHub
  ☆11Oct 31, 2021Updated 4 years ago
• jasonrute / thoughts-on-ai-for-theorem-proving

  View on GitHub
  ☆26Nov 1, 2021Updated 4 years ago
• leanprover-community / mathzoo

  View on GitHub
  Lean mathzoo
  ☆24Mar 23, 2022Updated 3 years ago
• groupoid / TeX

  View on GitHub
  🧊 TeX-подібна система верстки наукових праць
  ☆20Mar 14, 2025Updated 11 months ago
• ianjauslin-rutgers / pythagoras4

  View on GitHub
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Dec 1, 2023Updated 2 years ago
• dwrensha / math-puzzles-in-lean

  View on GitHub
  math puzzles from various sources, formalized in Lean
  ☆10Oct 21, 2023Updated 2 years ago
• rwbarton / lean-homotopy-theory

  View on GitHub
  A development of homotopy theory in the Lean formal theorem prover.
  ☆14Aug 27, 2020Updated 5 years ago
• leanprover-community / leancrawler

  View on GitHub
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Mar 20, 2024Updated last year
• m4lvin / tablean

  View on GitHub
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Oct 24, 2023Updated 2 years ago
• xubaiw / Socket.lean

  View on GitHub
  A toy implementation of socket programming for Lean 4.
  ☆28Feb 23, 2023Updated 2 years ago
• 1000-plus / 1000-plus.github.io

  View on GitHub
  https://1000-plus.github.io/
  ☆22Nov 10, 2025Updated 3 months ago
• apnelson1 / Matroid

  View on GitHub
  ☆13Updated this week
• gebner / m17n-lean

  View on GitHub
  System-wide Lean input method
  ☆12Feb 16, 2022Updated 4 years ago
• sorear / smm

  View on GitHub
  sorear's Metamath system engine
  ☆13May 5, 2016Updated 9 years ago
• leanprover-community / lean-web-editor

  View on GitHub
  Lean 3 web editor
  ☆13Oct 25, 2023Updated 2 years ago
• ramonfmir / lean-scheme

  View on GitHub
  Schemes in Lean (v2)
  ☆43Jul 30, 2020Updated 5 years ago
• mpedramfar / Lean-game-maker

  View on GitHub
  This project converts structured Lean code into an interactive browser game.
  ☆79Nov 15, 2023Updated 2 years ago
• uds-psl / coq-synthetic-computability

  View on GitHub
  ☆17Jan 23, 2026Updated 3 weeks ago
• nocursor / b58

  View on GitHub
  Elixir library for encoding and decoding Base58 and Base58Check using the Bitcoin/IPFS, Ripple, and Flickr alphabets.
  ☆12Jul 7, 2022Updated 3 years ago
• Julian / lftim

  View on GitHub
  Mathematical learnings with Lean, for those of us who wish we knew more of both!
  ☆10Aug 27, 2022Updated 3 years ago
• konnov / fault-tolerant-benchmarks

  View on GitHub
  Fault-tolerant distributed algorithms encoded in a formal language
  ☆14Nov 30, 2020Updated 5 years ago
• metamath / metamath-knife

  View on GitHub
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆42May 7, 2025Updated 9 months ago
• mo271 / FormalBook

  View on GitHub
  Formalizing "Proofs from THE BOOK"
  ☆80Feb 1, 2026Updated 2 weeks ago
• fpvandoorn / LeanCourse24

  View on GitHub
  Bonn Lean course for winter 24/25
  ☆40Jan 8, 2026Updated last month
• Chaaaos / formaltt

  View on GitHub
  Formalization of type theory
  ☆22Jul 5, 2021Updated 4 years ago
• xiw / arithcc

  View on GitHub
  ☆15Oct 21, 2020Updated 5 years ago
• Vilin97 / linear-algebra-done-right

  View on GitHub
  ☆12Jun 30, 2022Updated 3 years ago
• ImperialCollegeLondon / lean-maths-examples

  View on GitHub
  Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics
  ☆14Jan 16, 2022Updated 4 years ago
• leanprover-community / mathlib-tools

  View on GitHub
  Development tools for https://github.com/leanprover-community/mathlib
  ☆34Aug 29, 2023Updated 2 years ago