Displaying 1-20 of 466 total results
Sort by
  1. The math library of Lean 4

  2. A Lean companion to Analysis I

  3. LLMs as Copilots for Theorem Proving in Lean

  4. Ongoing Lean formalisation of the proof of Fermat's Last Theorem

  5. A collection of formalized statements of conjectures in Lean.

  6. Lean theorem proving interface which feels like pen-and-paper proofs.

  7. A project to map out the relations between different equational theories of Magmas.

  8. Scientific computing in Lean 4

  9. The user home repository for the Mathematics in Lean tutorial.

  10. A project to digitalise results from physics into Lean.

  11. The "batteries included" extended library for the Lean programming language and theorem prover

  12. White-box automation for Lean 4

  13. An introduction to theorem proving in Lean for the impatient.

  14. No description provided.

  15. No description provided.

  16. Tactics for discharging Lean goals into SMT solvers.

  17. Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

  18. Natural Number Game

  19. Lean documentation authoring tool

  20. Catalog Of Math Problems Formalized In Lean