antonyeagle / edl
Elements of Deductive Logic, an open-source intermediate logic textbook
☆12Updated 7 years ago
Alternatives and similar repositories for edl:
Users that are interested in edl are comparing it to the libraries listed below
- A Markdown version of the free textbook created by Walter Ott☆23Updated 10 years ago
- Tim Button's Cambridge version of forallx☆11Updated 6 years ago
- UCalgary version of forallx, an introduction to formal logic☆97Updated 2 months ago
- Experimental alternative text input for the NES.☆9Updated 8 years ago
- Textbook on metalogic based on the Open Logic Project☆36Updated last year
- Lean Theorem Prover plugin for Vim.☆16Updated 3 years ago
- Mathematical Components (the Book)☆141Updated last year
- "A First Course in Linear Algebra" open source textbook☆67Updated 3 months ago
- ☆16Updated 3 years ago
- P.D. Magnus' forallx logic textbook☆64Updated last year
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆51Updated 4 months ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆44Updated 4 years ago
- Notes on P-omega☆14Updated 7 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Truth-table generator for classical propositional logic☆26Updated 3 years ago
- SNES reverse engineering toolkit with support for static recompilation☆30Updated 3 years ago
- A computational way to study discrete mathematics using Haskell☆72Updated 5 years ago
- Wasm examples, brought to you by humans!☆16Updated 4 years ago
- Counterexamples in Type Systems☆392Updated last year
- For hosting certain parts of http://www.ats-lang.org☆27Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- The collected works of F. W. Lawvere☆329Updated 4 months ago
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆27Updated last year
- Open textbook on modal logic☆19Updated 3 years ago
- Static recompilation of IDO 5.3 and 7.1 for modern platforms☆45Updated 2 months ago
- Game programming for beginners☆36Updated 7 years ago
- visualizer to see which parts of an lzma compressed file took the most number of bytes☆31Updated 3 years ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆239Updated this week