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