OpenLogicProject / forallx-camLinks
Tim Button's Cambridge version of forallx
☆15Updated 7 years ago
Alternatives and similar repositories for forallx-cam
Users that are interested in forallx-cam are comparing it to the libraries listed below
Sorting:
- P.D. Magnus' forallx logic textbook☆68Updated 8 months ago
- Tim Button's open textbook on set theory☆40Updated 5 months ago
- UCalgary version of forallx, an introduction to formal logic☆115Updated 3 months ago
- "A First Course in Linear Algebra" open source textbook☆69Updated 3 weeks ago
- Textbook on Gödel's incompleteness theorems and computability theory☆22Updated 5 months ago
- Textbook on non-classical logics☆13Updated 5 months ago
- A collection of LaTeX packages by Peter Wilson☆38Updated 8 months ago
- Applied Discrete Structures using PreTeXt☆45Updated 2 weeks ago
- Public repository for Abstact Algebra Theory and Applications☆175Updated 4 months ago
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆121Updated 3 weeks ago
- ☆39Updated 7 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆57Updated 3 months ago
- A curated list of resources on how to do the most good☆17Updated 4 months ago
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆33Updated last year
- Source of metamath book☆51Updated last year
- Tea Time Numerical Analysis☆26Updated 3 years ago
- Source for textbook https://github.com/jweisber/vip☆39Updated 2 years ago
- Which Famous Economist Are You Most Similar To? Data from the IGM expert panel poll and code for extracting it.☆30Updated 2 years ago
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆50Updated last month
- Emoji support in (Lua)LaTeX☆83Updated 2 years ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆267Updated last month
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- Haskell implementation of open games☆181Updated 10 months ago
- R functions to detect play jar eye sores☆15Updated 6 years ago
- Python Programming for Finance and Economics☆60Updated last week
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆32Updated last week
- The Third Bit website☆20Updated this week
- The Principia Rewrite☆229Updated 2 weeks ago
- ☆12Updated last month
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31Updated 4 years ago