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
- ☆31Updated last year
- Learning platform for category theory in python☆16Updated this week
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 4 months ago
- The Universal Algebra Calculator☆14Updated 2 years ago
- ☆22Updated 2 years ago
- Very controlled natural language tactics for Lean☆62Updated last year
- program synthesis with neuro-symbolic differentiable interpreters☆12Updated last year
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Python S-expression emulation using tuple-like objects.☆21Updated 6 months ago
- MathWebSearch Implementation☆48Updated 2 years ago
- DeepAlgebra☆25Updated 7 years ago
- A brainfuck kernel for IPython/Jupyter.☆28Updated 9 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
- A system for computational category theory and applications☆38Updated 8 years ago
- FreeTikZ☆38Updated 7 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- Enable rendering Mathpix Markdown with latex and chemistry support.☆31Updated 4 months ago
- Source of metamath book☆48Updated last year
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- ☆13Updated 2 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- A series of introductory instructional python notebooks, for computational number theory.☆14Updated 7 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- 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
- Pedagogical first-order prover in Python☆75Updated 3 weeks ago
- SymPy main development repo☆9Updated 3 months ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 3 months ago