jonathanichikawa / for-all-x
Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
☆16Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for for-all-x
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 2 years ago
- Mystery Languages☆35Updated last year
- Tim Button's open textbook on set theory☆30Updated last year
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago
- 🔖⚛️ RSS / Atom feed generation library for Racket☆22Updated 2 months ago
- My PhD Thesis☆14Updated 2 years ago
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- Logic and Mechanized Reasoning☆87Updated 4 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆56Updated 8 months ago
- ☆89Updated 3 years ago
- A notional machine for the SMoL languages☆21Updated last year
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆13Updated 7 months ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 4 years ago
- Learn Lean and topology☆20Updated last year
- Apple array system☆54Updated this week
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆13Updated 11 months ago
- An experimental language server for SomewhatML☆24Updated last year
- An implementation of a Zeilberger-style linear type theory.☆9Updated 3 years ago
- Books on programming language theory and linguistics in general.☆50Updated 3 years ago
- A parser for ANSI C, in Lean4.☆20Updated last year
- Educational Proof Assistant for Type Theory☆72Updated 3 months ago
- Lean course materials for Brown CS 22, Spring 2023☆20Updated last year
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆55Updated last month
- ☆8Updated last year
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆79Updated 4 years ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- Commutative diagrams with TikZ☆46Updated 2 years ago
- SIGPLAN website☆10Updated this week