https://www.ut.ee/~unruh/
This is an unofficial reimagining of the Archive of Formal Proofs
Quantum and Classical Registersby Dominique Unruh
Complex Bounded Operatorsby José Manuel Rodríguez Caballero and Dominique Unruh
Banach-Steinhaus Theoremby Dominique Unruh and José Manuel Rodríguez Caballero