jonathanichikawa / for-all-xLinks
Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
☆20Updated 8 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.☆59Updated 9 months ago
- Tim Button's open textbook on set theory☆40Updated 5 months ago
- The Principia Rewrite☆229Updated 3 weeks ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 5 years ago
- A relational interpretation of Lojban☆34Updated 4 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 9 months ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- A graphical interactive proof assistant designed for education☆169Updated last year
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 5 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆61Updated 3 weeks ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆66Updated last year
- An encyclopedia of proofs☆64Updated last year
- Mystery Languages☆41Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 2 weeks ago
- 🔖⚛️ RSS / Atom feed generation library for Racket☆22Updated 3 weeks ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- P.D. Magnus' forallx logic textbook☆68Updated 8 months ago
- XKCD 3062☆22Updated 9 months ago
- ☆36Updated 2 months ago
- ☆56Updated 7 months ago
- Textbook on metalogic based on the Open Logic Project☆44Updated 5 months ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated 2 weeks ago
- Examples of literate programming by Knuth☆39Updated 5 months ago
- Composable autodiff for the interactive web.☆28Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆75Updated 6 months ago
- A notional machine for the SMoL languages☆21Updated 2 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- A data visualization library for Racket.☆38Updated last year