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
- ☆38Updated 2 years ago
- Building group theory from scratch in Lean☆60Updated 4 years ago
- Plain-text declaration export for Lean 4☆17Updated 2 weeks ago
- ☆11Updated last year
- ☆10Updated 3 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆50Updated 8 months ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆29Updated 3 years ago
- A formal consistency proof of Quine's set theory New Foundations☆72Updated this week
- Schemes in Lean (v2)☆43Updated 4 years ago
- Tool to analyse the import structure of lean projects.☆14Updated 2 weeks ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 4 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated last year
- ☆23Updated 3 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 3 years ago
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- Matroids in Lean☆18Updated last year
- Jupyter notebook for the Lean4 programming language☆24Updated 3 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- Formalization of the existence of sphere eversions☆43Updated 2 weeks ago
- ☆31Updated last week
- HoTT in Lean 3☆80Updated 4 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆63Updated 8 months ago
- Leaff is a diff tool for Lean environments☆17Updated 5 months ago
- ☆20Updated 5 months ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- An experimental category theory library for Lean☆51Updated last year
- ☆19Updated 2 years ago