allofphysicsgraph / proofofconceptLinks
Physics Derivation Graph: mathematical connections among equations
☆21Updated last year
Alternatives and similar repositories for proofofconcept
Users that are interested in proofofconcept are comparing it to the libraries listed below
Sorting:
- open source E-book on statistical physics☆48Updated last week
- A semantic Extension of TeX/LaTeX☆54Updated 2 weeks 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…☆21Updated 2 months ago
- P.D. Magnus' forallx logic textbook☆68Updated 7 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- unofficial repository of nauty and traces, the graph automorphism tools. Check branches for other versions, the official release system i…☆18Updated 3 months ago
- Writing proofs to Twitter since April 2020☆12Updated 3 years ago
- Metamath verifier in Python☆39Updated 4 months ago
- FreeTikZ☆40Updated 7 years ago
- Jupyter kernel for Coq☆95Updated last year
- ☆37Updated last year
- A tool for proving and organizing general theorems using Python.☆30Updated this week
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 2 months ago
- Tag-based webview of LaTeX documents☆31Updated last year
- Sample projects for Quantomatic☆12Updated 5 years ago
- ☆23Updated 3 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- Learning platform for category theory in python☆17Updated this week
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- Python package to convert LaTeX markup to DOM☆15Updated 9 months ago
- Source of metamath book☆51Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 11 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last week
- Tim Button's open textbook on set theory☆39Updated 4 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated 2 years ago
- Main repository for sharing files and documents about OpenDreamKit☆91Updated 5 years ago
- A brainfuck kernel for IPython/Jupyter.☆28Updated 10 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated last month
- A Binder repo for SageMath computing environment☆33Updated this week
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago