About Johannes Hölzl

Former researcher at TU München, VU Amsterdam, and Carnegie Mellon. I'm here for theorem provers, proving theorems, reading comics, and renewables.

Lists

Timeline

jojo has no activity yet