dcernst / IBL-IntroToProof
A textbook for the transition to proof course for mathematics majors utilizing IBL.
☆42Updated last month
Related projects: ⓘ
- Tim Button's open textbook on set theory☆30Updated 11 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆64Updated last year
- "A First Course in Linear Algebra" open source textbook☆64Updated 2 years ago
- Tag-based webview of LaTeX documents☆28Updated 7 months ago
- Algebra Number Theory book☆47Updated 2 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated last year
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- Commutative diagrams with TikZ☆45Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆53Updated last month
- ☆28Updated 6 years ago
- Collection of animals and other beings drawn in TikZ☆89Updated last month
- Basic Analysis, undergraduate real analysis textbook☆57Updated 2 weeks ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 4 months ago
- Examples of technical drawing with John Hobby's MetaPost language☆31Updated last week
- Source of metamath book☆45Updated 8 months ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Kan: A browser extension for reading nLab☆25Updated 5 years ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated 8 months ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 5 years ago
- Lecture notes from Cambridge maths☆61Updated 7 months ago
- ☆13Updated last year
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆30Updated 5 months ago
- Homebrew tap for GAP☆14Updated 3 months ago
- Repository for the QED interactive text and possible extensions☆95Updated 4 years ago
- Applied Discrete Structures using PreTeXt☆41Updated this week
- A file-based mirror of the nLab wiki (HTML format).☆23Updated this week
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆128Updated 6 years ago
- P.D. Magnus' forallx logic textbook☆59Updated 9 months ago
- Latex package to print spectral sequence diagrams using pgf/tikz.☆9Updated last year