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:
- "A First Course in Linear Algebra" open source textbook☆69Updated 2 months ago
- Textbook on non-classical logics☆13Updated 7 months ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- UCalgary version of forallx, an introduction to formal logic☆117Updated last month
- Tim Button's open textbook on set theory☆41Updated 7 months ago
- Public repository for Abstact Algebra Theory and Applications☆177Updated 2 weeks ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years 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☆53Updated 2 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆58Updated 5 months ago
- Prime numbers for Coq☆43Updated this week
- Source files for https://web.evanchen.cc☆62Updated this week
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- 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
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- Textbook on Gödel's incompleteness theorems and computability theory☆22Updated 6 months ago
- Finite Fields and Curves in Lean☆14Updated 2 years ago
- The Principia Rewrite☆229Updated 2 months ago
- Open Source Precollege Algebra Textbook☆22Updated 6 months ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆78Updated 5 months ago
- Tea Time Numerical Analysis☆26Updated 3 years ago
- Stanford GraphBase☆37Updated last week
- LODA Programs for Integer Sequences☆37Updated last week
- Applied Discrete Structures using PreTeXt☆45Updated last month
- Source for textbook https://github.com/jweisber/vip☆41Updated 2 years ago
- Basic Analysis, undergraduate real analysis textbook☆86Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆329Updated last year
- Source files for https://python-programming.quantecon.org☆20Updated 4 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆69Updated 2 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year