@wkrozowski@functional.cafe
Joined: 05/25/2026
I work on Lean theorem prover at Lean FRO. Previously, did my PhD at University College London.
Besides that, I enjoy shooting analog photography, drinking coffee, and collecting vinyl records from around the world.
London, UK
wkrozowski has no public lists
wkrozowski has no activity yet