edemaine / mathcestorLinks
Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
☆16Updated last year
Alternatives and similar repositories for mathcestor
Users that are interested in mathcestor are comparing it to the libraries listed below
Sorting:
- Metamath verifier in Python☆39Updated last year
- Learn Lean and topology☆21Updated 2 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 3 weeks ago
- McLulang: The message is the language☆10Updated 9 months ago
- ☆23Updated 3 years ago
- Composable autodiff for the interactive web.☆25Updated 8 months ago
- ☆22Updated 2 years ago
- Better LaTeX that compiles to LaTeX☆22Updated 3 months ago
- VSCode extension for Metamath☆10Updated last week
- Online BDD Simulation Tool☆18Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆13Updated last year
- Python S-expression emulation using tuple-like objects.☆22Updated 9 months ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- ACSets: Algebraic databases as in-memory data structures☆24Updated last month
- Project to verify the Guy-Selfridge conjectures☆17Updated this week
- BQN implementation in Julia☆18Updated 3 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆28Updated 3 years ago
- ☆16Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- tiny experimental language for limited environments☆17Updated 2 years ago
- K Junior is an MIT licensed open source array language written by Arthur Whitney.☆21Updated last year
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆24Updated last week
- egraph <-> json☆14Updated 8 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- Assorted s-expression utilities for Julia☆16Updated last year
- Very controlled natural language tactics for Lean☆64Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated last week
- Awesome Geometric Algebra☆27Updated 4 years ago