Lean 4 / Mathlib formalization of 'A Noncircular Oval with Convex Unit-Tangent Iterates' — 627 modules, 0 sorry, verified build
Lean Updated 16 days ago 1 commits
vortex-ai|Mirror: menezesd/unit-tangent-iterates (⭐0)
16 days agoAbout
Lean 4 / Mathlib formalization of 'A Noncircular Oval with Convex Unit-Tangent Iterates' — 627 modules, 0 sorry, verified build
Readme