antonyeagle / edlLinks
Elements of Deductive Logic, an open-source intermediate logic textbook
☆13Updated 2 weeks 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
- A curated list of awesome Category Theory resources.☆127Updated 8 months ago
- Tea Time Numerical Analysis☆26Updated 3 years ago
- Small code examples demonstrating the use of Euterpea2 and HSoM☆32Updated 5 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆113Updated 4 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- Visualizing the Stanford Encyclopedia of Philosophy☆22Updated 8 years ago
- UCalgary version of forallx, an introduction to formal logic☆116Updated last month
- Examples of literate programming by Knuth☆39Updated 6 months ago
- Interactive fiction written in Haskell☆13Updated 7 years ago
- Tim Button's open textbook on set theory☆41Updated 6 months ago
- Basic Analysis, undergraduate real analysis textbook☆86Updated last week
- The Principia Rewrite☆228Updated last month
- A visualization of key structures in abstract algebra.☆157Updated 5 years ago
- Public repository for Abstact Algebra Theory and Applications☆177Updated this week
- A formal logic framework that runs in the browser☆323Updated last year
- [WIP] A book on the k language.☆50Updated 3 years ago
- Domain-Specific Languages of Mathematics☆446Updated this week
- Music in Haskell☆215Updated 3 years ago
- HarmTrace (Harmony Analysis and Retrieval of Music with Type-level Representations of Abstract Chords Entities) is a system for automatic…☆63Updated 7 years ago
- P.D. Magnus' forallx logic textbook☆69Updated 9 months ago
- ☆42Updated 4 years ago
- "A First Course in Linear Algebra" open source textbook☆69Updated 2 months ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 10 years ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆270Updated 2 months ago
- Solutions for Gelfand's Trigonometry☆23Updated 3 months ago
- LaTeX facsimile of a Bible de Genève, 1564☆444Updated 2 years ago
- A Haskell-based library for algorithmic and automated composition. This library was the subject of my dissertation at Yale university and…☆113Updated 7 years ago
- The collected works of F. W. Lawvere☆370Updated last year
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago