Hi! My name is Mauro Bringolf and I study computer science at ETH Zürich. I am interested in proofs about programs and programs about proofs. I put a couple of things on the web:
- Analysis II material (Autumn semester 2018, ETH Zürich)
- Notes on computer science and programming (not really currently)
- Tricking and handstands (always but unrelated)
There is an RSS feed for potential future writings.