antonyeagle / edlLinks
Elements of Deductive Logic, an open-source intermediate logic textbook
☆13Updated 4 months ago
Alternatives and similar repositories for edl
Users that are interested in edl are comparing it to the libraries listed below
Sorting:
- A Markdown version of the free textbook created by Walter Ott☆23Updated 11 years ago
- Tim Button's open textbook on set theory☆40Updated 6 months ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆113Updated 4 years ago
- Domain-Specific Languages of Mathematics☆445Updated 4 months ago
- The Principia Rewrite☆228Updated last month
- A curated list of awesome Category Theory resources.☆126Updated 8 months ago
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆118Updated last month
- Examples of literate programming by Knuth☆39Updated 6 months ago
- P.D. Magnus' forallx logic textbook☆69Updated 9 months ago
- Organize remote meetings for reading computer science papers☆35Updated 5 years ago
- The collected works of F. W. Lawvere☆368Updated last year
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 10 years ago
- UCalgary version of forallx, an introduction to formal logic☆115Updated 2 weeks ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆169Updated last year
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆270Updated 2 months ago
- Mathematical Components (the Book)☆149Updated 2 months ago
- A graphical interactive proof assistant designed for education☆170Updated last year
- Tea Time Numerical Analysis☆26Updated 3 years ago
- ☆94Updated 8 months ago
- Small code examples demonstrating the use of Euterpea2 and HSoM☆32Updated 5 years ago
- Interactive fiction written in Haskell☆13Updated 7 years ago
- Formalizations of Gödel's Ontological Proof of God's Existence☆459Updated 6 years ago
- My Solution to Velleman's book☆266Updated 2 months ago
- Chicago undergraduate mathematics bibliography☆740Updated 6 years ago
- ☆42Updated 4 years ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- A formal logic framework that runs in the browser☆322Updated last year
- ☆168Updated 10 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆84Updated 2 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 5 years ago