PyPI page
Home page
Author:
Open Orion, Inc.
License:
MIT
Summary:
A Python library for symbolic computation, proof verification, and unit handling
Latest version:
0.5.0
Required dependencies:
matplotlib
|
nbformat
|
networkx
|
numpy
|
pint
|
pydantic
|
pysmt
|
sympy
Downloads last day:
6
Downloads last week:
7
Downloads last month:
11