antonyeagle / edlLinks
Elements of Deductive Logic, an open-source intermediate logic textbook
☆13Updated last month
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
- Domain-Specific Languages of Mathematics☆446Updated this week
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- The Principia Rewrite☆229Updated 2 months ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆115Updated 4 years ago
- Small code examples demonstrating the use of Euterpea2 and HSoM☆32Updated 5 years ago
- Examples of literate programming by Knuth☆40Updated 7 months ago
- UCalgary version of forallx, an introduction to formal logic☆117Updated last month
- This is a Sphinx adaptation of Chaun C. Chang's book, "Fundamentals of Piano Practice."☆326Updated 3 years ago
- A visualization of key structures in abstract algebra.☆157Updated 5 years ago
- Tim Button's open textbook on set theory☆41Updated 7 months ago
- Formalizations of Gödel's Ontological Proof of God's Existence☆462Updated 7 years ago
- Tea Time Numerical Analysis☆26Updated 3 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- The collected works of F. W. Lawvere☆371Updated last year
- Public repository for Abstact Algebra Theory and Applications☆177Updated 3 weeks ago
- A curated list of awesome Category Theory resources.☆128Updated 2 weeks ago
- A fancy thesis defence invitation in XeLaTeX☆62Updated 9 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 11 months ago
- A gallery of csound instruments☆16Updated 4 years ago
- Interactive fiction written in Haskell☆13Updated 7 years ago
- Stuff of my PhD I want to share publicly: all code, texts of my papers, research-notes & research-diary☆31Updated 5 years ago
- HTML conversion of a great beginner calculus book☆281Updated 9 months ago
- updated regularly while attending Recurse Center in Spring 2 '18☆103Updated 8 months ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 4 years ago
- A web app that lets you play musical scales according to math equations☆70Updated 4 years ago
- Riemann Hypothesis book☆74Updated 8 years ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆190Updated 3 years ago
- A formal logic framework that runs in the browser☆323Updated last year
- A graphical interactive proof assistant designed for education☆171Updated last year