ImperialCollegeLondon / xena-UROP-2018Links
A place to put our 2018 Xena project UROP thoughts and programs.
☆25Updated 5 years ago
Alternatives and similar repositories for xena-UROP-2018
Users that are interested in xena-UROP-2018 are comparing it to the libraries listed below
Sorting:
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- ☆10Updated 3 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆49Updated 8 months ago
- Plain-text declaration export for Lean 4☆16Updated last week
- ☆38Updated 2 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- ☆11Updated last year
- Building group theory from scratch in Lean☆60Updated 4 years ago
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Tool to analyse the import structure of lean projects.☆12Updated last month
- ☆30Updated 3 weeks ago
- A formal consistency proof of Quine's set theory New Foundations☆70Updated this week
- ☆23Updated 3 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆28Updated 3 years ago
- ☆19Updated 2 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆63Updated 7 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆55Updated 10 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 3 years ago
- ☆16Updated 4 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆34Updated 5 months ago
- ☆31Updated last year
- Ground Zero: Lean 4 HoTT Library☆61Updated this week
- Lean type-checker written in Scala.☆36Updated 3 years ago
- ☆30Updated 3 months ago
- A Lean 4 formalization of partial combinatory algebras.☆14Updated 4 months ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆25Updated 3 weeks ago
- Topos theory in lean☆60Updated 4 years ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆27Updated 6 months ago
- Formalization of the existence of sphere eversions☆41Updated this week