PyPI page
Home page
Author:
Brieuc de La Fourniere
License:
MIT
Summary:
GIFT mathematical core - Formally verified constants (Lean 4)
Latest version:
3.4.29
Optional dependencies:
black
|
pytest
|
pytest-cov
|
ruff
Downloads last day:
1
Downloads last week:
120
Downloads last month:
48
7-day smoothing