proofside

PyPI page
Summary: A small formal-verification sidecar for typed mathematical Python
Latest version: 0.1.0
Required dependencies: nagini

Downloads last day: 1
Downloads last week: 1
Downloads last month: 36
7-day smoothing