williamstein / antLinks
Algebra Number Theory book
☆48Updated 3 years ago
Alternatives and similar repositories for ant
Users that are interested in ant are comparing it to the libraries listed below
Sorting:
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆21Updated this week
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- Tim Button's open textbook on set theory☆41Updated 7 months ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated last month
- Mathematical Components (the Book)☆149Updated 4 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Public repository for Abstact Algebra Theory and Applications☆177Updated 3 weeks ago
- Tag-based webview of LaTeX documents☆32Updated 2 years ago
- Metamath program - source code for the Metamath executable☆91Updated 2 months ago
- An experimental category theory library for Lean☆51Updated 2 years ago
- some maths papers in English☆19Updated this week
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆125Updated 3 years ago
- ☆36Updated last month
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆175Updated 4 years ago
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- M4 algebraic geometry course in Lean☆58Updated 5 years ago
- 💧 Liquid Tensor Experiment☆220Updated 2 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆58Updated 11 years ago
- Kan: A browser extension for reading nLab☆33Updated 7 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26Updated 5 years ago
- ☆94Updated 9 months ago
- Perfectoid spaces in the Lean formal theorem prover.☆129Updated last year
- CMU Undergrad Course☆95Updated 2 years ago
- git mirror of the Munich isabelle hg repository☆131Updated this week
- A formalization of geometry in Coq based on Tarski's axiom system☆204Updated 2 months ago
- Deposited packages of the homalg project☆17Updated last month
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆246Updated 11 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆61Updated 2 months ago
- Riemann Hypothesis book☆74Updated 8 years ago