Last released Aug 14, 2026
Rigorous ball/interval arithmetic for Python: verified enclosures with directed rounding.
Zero-key, reproducible harvesting of public scientific datasets with auditable provenance.