eric-wieser / lean-matrix-cookbook

Related projects: ⓘ

• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆93Updated this week
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆49Updated 7 months ago
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆26Updated 4 months ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆37Updated 3 months ago
• siddhartha-gadgil / LeanAide
  Tools based on AI for helping with Lean 4
  ☆62Updated this week
• YaelDillies / LeanCamCombi
  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  ☆34Updated this week
• zhangir-azerbayev / lean-chat
  ☆48Updated 2 years ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆54Updated last month
• teorth / symmetric_project
  ☆82Updated 10 months ago
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆88Updated 3 months ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆39Updated 3 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆88Updated last month
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆106Updated last month
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆129Updated 2 weeks ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆79Updated this week
• leanprover-community / lean-auto
  Experiments in automation for Lean
  ☆65Updated last week
• bollu / lean-to
  Jupyter notebook for the Lean4 programming language
  ☆23Updated 2 years ago
• leanprover-community / aesop
  White-box automation for Lean 4
  ☆183Updated this week
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated 9 months ago
• BrownCS1951x / fpv2023
  Lecture notes, exercises, homeworks for Brown CS1951x 2023
  ☆12Updated 7 months ago
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆122Updated this week
• ah1112 / synthetic_euclid_4
  ☆10Updated 7 months ago
• haruhisa-enomoto / mathlib4-all-tactics
  Markdown file of the list and explanations of all mathlib4 tactics
  ☆25Updated 8 months ago
• wellecks / llmstep
  llmstep: [L]LM proofstep suggestions in Lean 4.
  ☆115Updated 10 months ago
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆155Updated last month
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆63Updated 2 weeks ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆92Updated this week
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆50Updated this week
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆103Updated 2 weeks ago
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆114Updated 2 years ago