PyPI page
Home page
Author:
Dario Clavijo
License:
MIT
Summary:
Bidirectional Lean4-Python transpiler
Latest version:
0.1.2
Optional dependencies:
hatch
|
hypothesis
|
impactguard
|
mypy
|
pip-api
|
prospector
|
pytest
|
pytest-cov
|
pytest-mock
|
ruff
|
semgrep
|
vulture
Downloads last day:
4
Downloads last week:
10
Downloads last month:
13
7-day smoothing