rfitzp / ElementsLinks
Greek/English version of Euclid's Elements
☆49Updated 2 years ago
Alternatives and similar repositories for Elements
Users that are interested in Elements are comparing it to the libraries listed below
Sorting:
- Lean 4 Metamath verifier☆21Updated 5 months ago
- Lean for the Curious Mathematician 2020☆67Updated 2 years ago
- A formal proof of the independence of the continuum hypothesis☆135Updated last year
- Formalization of the existence of sphere eversions☆43Updated this week
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Updated 6 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Schemes in Lean (v2)☆44Updated 5 years ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆127Updated last year
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆27Updated 2 weeks ago
- Readings on computational logic, interactive theorem proving and functional programming.☆82Updated this week
- 💧 Liquid Tensor Experiment☆208Updated last year
- Source of metamath book☆51Updated last year
- Kan: A browser extension for reading nLab☆30Updated 7 years ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆60Updated 2 weeks ago
- Interesting ATP Proofs☆13Updated 4 years ago
- Mathematical Components (the Book)☆147Updated 3 weeks ago
- ☆17Updated last year
- LaTeX code for a paper on lean's type theory☆149Updated 3 years ago
- Deposited packages of the homalg project☆16Updated last month
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 years ago
- LaTeX version of Grothendieck's Pursuing Stacks☆51Updated 4 years ago
- IMO Grand Challenge for Artificial Intelligence☆47Updated 3 years ago
- Python talking to the Lean theorem prover☆46Updated 4 years ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆115Updated last month
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆80Updated 9 months ago
- Lean documentation authoring tool☆227Updated this week
- Theorem proving in Lean☆48Updated last year
- Metamath source file for logic and set theory☆296Updated this week