OpenLogicProject / forallx
P.D. Magnus' forallx logic textbook
☆60Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for forallx
- Tim Button's open textbook on set theory☆30Updated last year
- "A First Course in Linear Algebra" open source textbook☆66Updated last month
- A semantic Extension of TeX/LaTeX☆50Updated this week
- UCalgary version of forallx, an introduction to formal logic☆95Updated 3 weeks ago
- A community database of topological counterexamples☆72Updated this week
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Tools for managing the TeX sources of the Stacks project☆15Updated 5 months ago
- multilingual dictionary of mathematical terminology☆19Updated 2 weeks ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Kan: A browser extension for reading nLab☆25Updated 6 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆31Updated 7 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆44Updated 6 years ago
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆42Updated 3 weeks ago
- Tim Button's Cambridge version of forallx☆11Updated 6 years ago
- Lean for the Curious Mathematician 2020☆63Updated last year
- A custom Lua writer to convert anything pandoc reads to PreTeXt.☆13Updated 4 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- Source of metamath book☆45Updated 10 months ago
- Applied Discrete Structures using PreTeXt☆41Updated 2 weeks ago
- Commutative diagrams with TikZ☆46Updated 2 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 6 months ago
- Development tools for https://github.com/leanprover-community/mathlib☆33Updated last year
- Examples of technical drawing with John Hobby's MetaPost language☆42Updated last week
- Learn Lean and topology☆20Updated last year
- Andrej Bauer's blog "Mathematics and Computation"☆49Updated 9 months ago
- ☆27Updated 6 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆51Updated 2 months ago
- FreeTikZ☆36Updated 6 years ago
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆109Updated 3 months ago