Alternatives and similar repositories for lean-maths-examples:

Users that are interested in lean-maths-examples are comparing it to the libraries listed below

• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆21Updated last month
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• YaelDillies / LeanCamCombi
  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  ☆52Updated this week
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆19Updated 2 years ago
• YaelDillies / LeanAPAP
  Formalisation of the Kelley-Meka bound on Roth numbers
  ☆17Updated this week
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• kmill / LeanTeX
  Lean 4 library for pretty printing expressions as LaTeX
  ☆14Updated 8 months ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆59Updated 4 years ago
• alexjbest / leaff
  Leaff is a diff tool for Lean environments
  ☆15Updated last month
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆97Updated last week
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆63Updated last year
• xubaiw / Socket.lean
  A toy implementation of socket programming for Lean 4.
  ☆27Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆67Updated last month
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆22Updated 3 years ago
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆98Updated last year
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆60Updated 6 months ago
• madvorak / grammars
  Formal grammars in Lean 3
  ☆8Updated last year
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• fpvandoorn / LeanCourse23
  ☆28Updated 4 months ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆42Updated this week
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated 10 months ago
• leanprover-community / mathport
  Mathport is a tool for porting Lean3 projects to Lean4
  ☆43Updated 2 months ago
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆34Updated 9 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated 3 months ago
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆43Updated this week
• dupuisf / BibtexQuery
  A simple command-line bibtex query utility written in Lean 4
  ☆11Updated last week
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆13Updated 4 months ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆29Updated 2 years ago