Last released May 19, 2026
GIFT mathematical core - Formally verified constants (Lean 4)
Supported by