ImperialCollegeLondon / lean-maths-examples

Related projects ⓘ

Alternatives and complementary repositories for lean-maths-examples

• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆16Updated this week
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated last month
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆28Updated this week
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 5 years ago
• YaelDillies / LeanCamCombi
  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  ☆40Updated this week
• b-mehta / combinatorics
  ☆21Updated 2 years ago
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated 8 months ago
• dupuisf / BibtexQuery
  A simple command-line bibtex query utility written in Lean 4
  ☆11Updated this week
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆12Updated last month
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆52Updated this week
• kendfrey / rubiks-cube-group
  A formalization of the Rubik's cube group
  ☆26Updated 4 years ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆41Updated 3 years ago
• ah1112 / synthetic_euclid_4
  ☆10Updated 9 months ago
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆54Updated this week
• alexjbest / leaff
  Leaff is a diff tool for Lean environments
  ☆15Updated 2 months ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆25Updated 4 months ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆91Updated last week
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated 11 months ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆63Updated last year
• kmill / LeanTeX
  Lean 4 library for pretty printing expressions as LaTeX
  ☆13Updated 5 months ago
• leanprover-community / mathzoo
  Lean mathzoo
  ☆24Updated 2 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated this week
• ammkrn / nanoda_lib
  Library implementing type inference/checking functionality based on the Lean theorem prover
  ☆39Updated 4 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• vihdzp / rubik-lean4
  Lean 4 formalization of Rubik's cubes
  ☆24Updated 2 weeks ago
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆59Updated 3 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆24Updated 4 years ago
• YaelDillies / LeanAPAP
  Formalisation of the Kelley-Meka bound on Roth numbers
  ☆15Updated this week