jonathanichikawa / for-all-xLinks
Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
☆19Updated 6 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:
- Tim Button's open textbook on set theory☆39Updated 4 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆58Updated 8 months ago
- P.D. Magnus' forallx logic textbook☆68Updated 7 months ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Mystery Languages☆41Updated 2 years ago
- A graphical interactive proof assistant designed for education☆169Updated 11 months ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 4 years ago
- A relational interpretation of Lojban☆34Updated 3 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated 4 months ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- The WIP book for CPSC 411☆66Updated 3 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 8 months ago
- Here we give programs that check if Turing machines halt or not.☆14Updated 2 months ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 4 months ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Updated last year
- The Principia Rewrite☆227Updated 9 months ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated last week
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆64Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- ☆38Updated 2 years ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Updated 11 years ago
- UCalgary version of forallx, an introduction to formal logic☆111Updated 2 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated last month
- Forge: A Tool and Language for Teaching Formal Methods☆91Updated this week
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- A program for making zooming slides in figma.☆39Updated 4 months ago
- generate art from a hash☆24Updated 3 months ago
- A renderer for sheet diagrams in bimonoidal categories☆13Updated 4 years ago