jonathanichikawa / for-all-xLinks
Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
☆19Updated 5 months ago
Alternatives and similar repositories for for-all-x
Users that are interested in for-all-x are comparing it to the libraries listed below
Sorting:
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆57Updated 7 months ago
- Tim Button's open textbook on set theory☆39Updated 3 months ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- The Principia Rewrite☆227Updated 8 months ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Updated 11 years ago
- A relational interpretation of Lojban☆34Updated 2 months ago
- P.D. Magnus' forallx logic textbook☆67Updated 6 months ago
- A graphical interactive proof assistant designed for education☆169Updated 10 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated 3 months ago
- An implementation of interaction nets in JS.☆131Updated 2 months ago
- Mystery Languages☆41Updated 2 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 4 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 7 months ago
- Book about using Lean with How To Prove It☆21Updated last week
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated last week
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆64Updated 11 months ago
- UCalgary version of forallx, an introduction to formal logic☆111Updated last month
- Domain Specific Languages for Computational Law☆77Updated 3 months ago
- 🔖⚛️ RSS / Atom feed generation library for Racket☆22Updated 2 weeks ago
- A notional machine for the SMoL languages☆22Updated 2 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- ☆90Updated 5 months ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated last week
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 3 months ago
- Logic and Mechanized Reasoning☆105Updated 2 months ago
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Updated last year
- Notes on Functional Programming and related topics☆30Updated 3 years ago