jonathanichikawa / for-all-xLinks
Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
☆19Updated 7 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.☆58Updated 8 months ago
- The Principia Rewrite☆228Updated 9 months ago
- Mystery Languages☆41Updated 2 years ago
- A relational interpretation of Lojban☆34Updated 4 months ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Tim Button's open textbook on set theory☆40Updated 4 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
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 5 years ago
- A graphical interactive proof assistant designed for education☆169Updated last year
- ☆56Updated 6 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated 4 months ago
- A notional machine for the SMoL languages☆22Updated 2 years ago
- Catalog of visual lambda calculi☆160Updated 4 months ago
- Domain Specific Languages for Computational Law☆77Updated 4 months ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Updated 11 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆91Updated this week
- Functional teaching language for use in a discrete mathematics course☆171Updated 5 months ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 2 weeks ago
- Andrej Bauer's blog "Mathematics and Computation"☆54Updated last year
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Updated last year
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated last month
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆115Updated this week
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆65Updated last year
- Apple array system☆68Updated last week
- P.D. Magnus' forallx logic textbook☆68Updated 7 months ago
- Books on programming language theory and linguistics in general.☆54Updated 4 years ago
- Book about using Lean with How To Prove It☆23Updated last month
- Notes on Functional Programming and related topics☆30Updated 3 years ago