#

inversive-geometry

Here are 2 public repositories matching this topic...

carlok / inversive-geometry-lean

Generalized circles (circlines) in Lean 4: circles and lines as one object, cut out by a Hermitian equation

geometry theorem-proving lean formalization formal-verification complex-analysis mathlib mobius-transformations lean4 inversive-geometry

Updated Sep 21, 2026
Lean

carlok / moebius-transcendental-lean

Lean 4 formalization of the conjugation degree on the transcendental locus (companion to p19)

proof-assistant lean number-theory interactive-theorem-proving mathlib lean4 formalized-mathematics transcendental-numbers inversive-geometry

Updated Sep 21, 2026
Lean

Add this topic to your repo

To associate your repository with the inversive-geometry topic, visit your repo's landing page and select "manage topics."