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.
- Checking first order logic proofs with Haskell: github.com/maurobringolf/FOL-proof-checker
As a teaching assistant I sometimes share write-ups and notes for exercise sessions:
I am grateful for any reported mistakes.
I am an ambitious hobbyist in floor acrobatics, specializing in a discipline called Martial Arts Tricking. I have travelled to many competitions and am sometimes teaching workshops. The picture on this site is me doing a backflip on top of Pilatus in Switzerland.