This is an unofficial reimagining of the Archive of Formal Proofs
Poincaré Disc Modelby Danijela Simić, Filip Marić and Pierre Boutry