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 7 months ago
- "A First Course in Linear Algebra" open source textbook☆68Updated this week
- Textbook on non-classical logics☆13Updated 4 months ago
- Public repository for Abstact Algebra Theory and Applications☆175Updated 3 months ago
- UCalgary version of forallx, an introduction to formal logic☆113Updated 2 months ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated 2 months ago
- Tim Button's open textbook on set theory☆40Updated 4 months ago
- Applied Discrete Structures using PreTeXt☆45Updated last week
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆33Updated last year
- Stanford GraphBase☆35Updated last month
- Textbook on Gödel's incompleteness theorems and computability theory☆21Updated 4 months ago
- Source of metamath book☆51Updated last year
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated 3 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- Python Programming for Finance and Economics☆59Updated last week
- ☆32Updated 4 months ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆32Updated this week
- Elementary Number Theory: Primes, Congruences, and Secrets☆112Updated 2 years ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆83Updated last year
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- The Principia Rewrite☆228Updated 9 months ago
- Source for textbook https://github.com/jweisber/vip☆39Updated 2 years ago
- Prime numbers for Coq☆42Updated last month
- Supplementary code for Introduction to Theoretical Computer Science book.☆68Updated last year
- Hevea is a fast latex to html translator☆112Updated last month
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆266Updated 3 weeks ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Updated last year
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆112Updated last year
- A semantic Extension of TeX/LaTeX☆54Updated this week
- Customize enumerate, itemize and description☆56Updated 9 months ago