http://poincare.matf.bg.ac.rs/~danijela
This is an unofficial reimagining of the Archive of Formal Proofs
Poincaré Disc Modelby Danijela Simić, Filip Marić and Pierre Boutry
Complex Geometryby Filip Marić and Danijela Simić