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