ghseeli / grad-school-notes

Related projects ⓘ

Alternatives and complementary repositories for grad-school-notes

• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆164Updated last month
• zhangir-azerbayev / lean-chat
  ☆49Updated 2 years ago
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆68Updated last month
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆22Updated 2 years ago
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆128Updated 3 months ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆63Updated last year
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆25Updated 4 months ago
• riyazahuja / ImProver
  ImProver: Agent-Based Automated Proof Optimization
  ☆18Updated last month
• leanprover-community / format_lean
  A Lean file formatter
  ☆63Updated last year
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆54Updated this week
• BrownCS1951x / fpv2023
  Lecture notes, exercises, homeworks for Brown CS1951x 2023
  ☆13Updated 9 months ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆91Updated last week
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆113Updated this week
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆15Updated this week
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆28Updated this week
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆52Updated this week
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆35Updated last year
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆26Updated 10 months ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆112Updated last week
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆24Updated 2 years ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated 8 months 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
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated 9 months ago
• leanprover / verso
  Lean documentation authoring tool
  ☆124Updated this week
• siddhartha-gadgil / LeanAide
  Tools based on AI for helping with Lean 4
  ☆65Updated this week
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 5 years ago
• reaslab / jixia
  A static analysis tool for Lean 4.
  ☆50Updated this week
• kmill / LeanTeX
  Lean 4 library for pretty printing expressions as LaTeX
  ☆13Updated 5 months ago
• kim-em / lean-training-data
  ☆37Updated 5 months ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆27Updated 2 years ago