Photos of Mathematicians
collected by Andrej Bauer
Andrew Swan
Click photo to open full-size original
7th Workshop on Formal Topology
Venice, April 2026
Andrew Swan
Click photo to open full-size original
Constructive Mathematics: Proofs and Computation
Frauenörth, June 2010
← Back to index