OpenLogicProject / forallx-camLinks
Tim Button's Cambridge version of forallx
☆13Updated 6 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☆67Updated 2 months ago
- Tim Button's open textbook on set theory☆37Updated last year
- "A First Course in Linear Algebra" open source textbook☆67Updated last month
- UCalgary version of forallx, an introduction to formal logic☆107Updated 4 months ago
- Textbook on Gödel's incompleteness theorems and computability theory☆20Updated 3 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Source of metamath book☆48Updated last year
- Textbook on metalogic based on the Open Logic Project☆41Updated last year
- Elements of Deductive Logic, an open-source intermediate logic textbook☆13Updated 8 years ago
- An encyclopedia of proofs☆60Updated 6 months ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated 2 months ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated last year
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated 8 months ago
- Prime numbers for Coq☆39Updated last week
- Public repository for Abstact Algebra Theory and Applications☆170Updated 2 weeks ago
- Open textbook on modal logic☆23Updated 3 years ago
- Let's translate works of Grothendieck☆25Updated 5 years ago
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆31Updated last year
- Source for textbook https://github.com/jweisber/vip☆39Updated 2 years ago
- Multinomials for the Mathematical Components library.☆14Updated last month
- Write formal proofs in natural language and LaTeX.☆36Updated last week
- Python bindings for the Coq interactive proof assistant☆55Updated 3 years ago
- "Intro to Stochastic Processes"☆2Updated last year
- Applied Discrete Structures using PreTeXt☆44Updated last week
- Haskell implementation of open games☆168Updated 4 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆254Updated 5 months ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆72Updated 3 weeks ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆28Updated 3 months ago