Quuxplusone / TNT
Douglas Hofstadter's "Typographical Number Theory"
☆16Updated last year
Alternatives and similar repositories for TNT:
Users that are interested in TNT are comparing it to the libraries listed below
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 4 months ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 10 years ago
- ☆41Updated 4 years ago
- Metamath verifier in Python☆38Updated 11 months ago
- Fungrim: the Mathematical Functions Grimoire☆121Updated 3 years ago
- Python implementation of the monster group☆42Updated 3 weeks ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆98Updated last year
- Matroids in Lean☆18Updated last year
- Hypergraph Rewriting System☆70Updated 11 months ago
- A non-absolute, time-space complex optimal artificial brain (composed in matrix laboratory (matlab), by Jordan Micah Bennett)☆22Updated 6 years ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆41Updated last year
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated last month
- ☆18Updated 4 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆98Updated 3 years ago
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- Thoughts on adjoint, norm and such.☆169Updated 2 years ago
- P.D. Magnus' forallx logic textbook☆60Updated last year
- a general blog about my projects, or anything☆16Updated this week
- Working through Structure and Interpretation of Classical Mechanics.☆123Updated 8 months ago
- VSCode extension for Metamath☆10Updated 2 weeks ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated 4 months ago
- 🦠 AD in less than 20 lines☆54Updated 3 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- A program for drawing knots and links, with support for importing images☆30Updated last year
- modal logic library for LEAN theorem prover☆11Updated 7 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆19Updated 2 months ago