djvelleman / HTPILeanPackageLinks
☆32Updated last month
Alternatives and similar repositories for HTPILeanPackage
Users that are interested in HTPILeanPackage are comparing it to the libraries listed below
Sorting:
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆62Updated last year
- maze game encoded in Lean 4 syntax☆60Updated last month
- LaTeX code for a paper on lean's type theory☆141Updated 3 years ago
- Effective Algebraic Topology in Haskell☆91Updated 11 months ago
- Lean documentation authoring tool☆209Updated this week
- Ground Zero: Lean 4 HoTT Library☆64Updated this week
- Functional Programming in Lean☆102Updated 2 weeks ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Lean for the Curious Mathematician 2020☆67Updated last year
- Schemes in Lean (v2)☆43Updated 5 years ago
- Code samples for Lean 4☆76Updated last year
- Very controlled natural language tactics for Lean☆64Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated 2 months ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆30Updated 3 years ago
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆62Updated last year
- M4 algebraic geometry course in Lean☆58Updated 5 years ago
- Topos theory in lean☆63Updated 4 years ago
- ☆38Updated 2 years ago
- Formalization of the existence of sphere eversions☆44Updated last week
- An experimental category theory library for Lean☆51Updated last year
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated last month
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆59Updated last week
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆52Updated 2 months ago
- ☆23Updated 3 years ago
- Mathlib search tool☆97Updated last week
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆83Updated last week
- Overview of tactics in Lean 4 for beginners — longer version☆91Updated 2 months ago
- A simple raytracer written in Lean 4☆139Updated last year
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆29Updated 3 years ago
- HoTT in Lean 3☆80Updated 5 years ago