allofphysicsgraph / proofofconcept
Physics Derivation Graph: mathematical connections among equations
☆20Updated 9 months ago
Alternatives and similar repositories for proofofconcept:
Users that are interested in proofofconcept are comparing it to the libraries listed below
- Metamath verifier in Python☆38Updated 11 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Learning platform for category theory in python☆16Updated this week
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 3 months ago
- Source of metamath book☆47Updated last year
- modal logic library for LEAN theorem prover☆11Updated 7 years ago
- open source E-book on statistical physics☆44Updated last year
- Data Science Ontology☆36Updated 5 months ago
- Logic Programming in Python☆31Updated 3 years ago
- DeepAlgebra☆25Updated 7 years ago
- Python term rewriting☆29Updated 12 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 8 months ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- ☆22Updated 2 years ago
- A teaching aid library for formal languages and compiler courses☆12Updated 2 weeks ago
- A series of introductory instructional python notebooks, for computational number theory.☆14Updated 7 years ago
- ☆31Updated last year
- A system for computational category theory and applications☆38Updated 8 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- MathWebSearch Implementation☆48Updated 2 years ago
- Pedagogical first-order prover in Python☆75Updated 2 weeks ago
- The Universal Algebra Calculator☆14Updated 2 years ago
- A brainfuck kernel for IPython/Jupyter.☆28Updated 9 years ago
- Information geometry and its extension information topology☆10Updated 7 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- VSCode extension for Metamath☆10Updated this week
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated 11 months ago
- FreeTikZ☆37Updated 7 years ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- ☆15Updated last year