williamstein / ent
Elementary Number Theory: Primes, Congruences, and Secrets
☆107Updated last year
Related projects ⓘ
Alternatives and complementary repositories for ent
- Algebra Number Theory book☆47Updated 2 years ago
- "A First Course in Linear Algebra" open source textbook☆66Updated last month
- Public repository for Abstact Algebra Theory and Applications☆160Updated 3 months ago
- Basic Analysis, undergraduate real analysis textbook☆61Updated 3 weeks ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 6 months ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Riemann Hypothesis book☆74Updated 6 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- Course notes for Pure Mathematics Topic D 2019☆52Updated 4 years ago
- LaTeX version of Grothendieck's Pursuing Stacks☆46Updated 3 years ago
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆27Updated 10 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆67Updated last year
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Textbook on metalogic based on the Open Logic Project☆36Updated 11 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆44Updated 6 years ago
- Development of the univalent foundations of mathematics in Coq☆17Updated 12 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆117Updated 4 months ago
- Homotopy theory in Coq.☆90Updated 13 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆121Updated 2 years ago
- My basic LaTeX macros and BibTeX file.☆13Updated last year
- Open-source number theory textbook☆57Updated 3 months ago
- Solutions to Paolo Aluffi's "Algebra: Chapter 0".☆57Updated 6 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆240Updated 10 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆70Updated 3 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆56Updated 8 months ago
- Python package to convert LaTeX markup to DOM☆14Updated last year
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆160Updated 3 years ago
- collaboration on work in progress☆15Updated 13 years ago
- ☆77Updated 2 months ago