🔓Interactive Lean 4 + Mathlib formalization from a Claude Code conversation
// ragnasqret/⟨Python⟩★ 10◷ MIT[ claude ]
Projects tagged #formalization
// formalization (1)
🔓🔓🔓Interactive Lean 4 + Mathlib formalization from a Claude Code conversation