allofphysicsgraph / proofofconceptLinks
Physics Derivation Graph: mathematical connections among equations
☆20Updated last year
Alternatives and similar repositories for proofofconcept
Users that are interested in proofofconcept are comparing it to the libraries listed below
Sorting:
- Metamath verifier in Python☆40Updated last month
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆22Updated last week
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Source of metamath book☆48Updated last year
- The Universal Algebra Calculator☆14Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- Data Science Ontology☆38Updated 2 months ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- Learning platform for category theory in python☆17Updated this week
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- FreeTikZ☆37Updated 7 years ago
- modal logic library for LEAN theorem prover☆11Updated 7 years ago
- ☆23Updated 3 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 3 months ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- A tool for proving and organizing general theorems using Python.☆29Updated this week
- DeepAlgebra☆25Updated 7 years ago
- Neural-Network Guided Expression Transformation☆12Updated 7 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- ☆18Updated 4 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated 2 years ago
- The source code repository for the FactorBase system☆10Updated last year
- A system for computational category theory and applications☆38Updated 9 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆48Updated 3 weeks ago
- Python S-expression emulation using tuple-like objects.☆22Updated 10 months ago
- Writing proofs to Twitter since April 2020☆11Updated 3 years ago
- Code to estimate models in epidemiology☆9Updated 2 years ago
- asv benchmarks for dask projects☆18Updated 3 years ago