edemaine / mathcestorLinks
Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
☆17Updated 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 2 weeks ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- ACSets: Algebraic databases as in-memory data structures☆25Updated 2 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆30Updated last month
- ☆23Updated 3 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- McLulang: The message is the language☆11Updated 10 months ago
- a datastructure for scalable combinatorial syntax☆18Updated 3 months ago
- Learn Lean and topology☆20Updated 2 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 7 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆29Updated last month
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆28Updated this week
- Printable (A4) overview of tactics in Lean 4 for beginners☆29Updated 9 months ago
- My unofficial picat http://picat-lang.org/ repository☆29Updated last year
- Interfacing with Large Language Models (remote and local) from Lean.☆26Updated 11 months ago
- Online BDD Simulation Tool☆18Updated 3 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last month
- Like a kick in the monads☆42Updated 3 years ago
- Assorted s-expression utilities for Julia☆16Updated last year
- Plain-text declaration export for Lean 4☆17Updated 3 weeks ago
- The formal proof of the Odd Order Theorem☆31Updated last week
- ☆22Updated 2 years ago
- ☆16Updated 2 weeks ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Entity Component System with julia☆64Updated 2 years ago
- A formal consistency proof of Quine's set theory New Foundations☆72Updated last week
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- A toy Wolfram language interpreter.☆36Updated 8 months ago