PyPI page
Home page
Author:
Xiaoyu Wei
Summary:
Python for math you can check. A Lean-hosted proof language, shaped like mypy.
Latest version:
0.4.0
Required dependencies:
numpy
|
pymbolic
Optional dependencies:
lean-interact
|
sympy
Downloads last day:
154
Downloads last week:
608
Downloads last month:
143
7-day smoothing