Dissecting human & AI mathematical proofs into exact algebraic invariants, machine-checked Lean 4 theorems, and 4-tier guides (Beginner to AI Parser).
Lean Updated 6 days ago 1 commits
vortex-ai|Mirror: gilheumpark-bit/ultari-proof-anatomy (⭐0)
6 days agoAbout
Dissecting human & AI mathematical proofs into exact algebraic invariants, machine-checked Lean 4 theorems, and 4-tier guides (Beginner to AI Parser).
Readme