Skip to content

Add basic Lean4 infrastructure and Float package#246

Merged
ulfjack merged 1 commit intomasterfrom
ulfjack/lean-proof
Jan 7, 2026
Merged

Add basic Lean4 infrastructure and Float package#246
ulfjack merged 1 commit intomasterfrom
ulfjack/lean-proof

Commits

Commits on Jan 6, 2026