Photos of Mathematicians
collected by Andrej Bauer
Ambrus Kaposi
Click photo to open full-size original
International School on Logical Frameworks and Proof Systems Interoperability
Orsay, September 2025
← Back to index