nasqret/lean-interact

Interactive Lean 4 + Mathlib formalization from a Claude Code conversation

10Stars on the repository
7Mods indexed here, across every type
24d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown