paulrei
Joined 20 days ago, with 2 karma
Submissions
Comments
Favorites
Follow via RSS
Research Software Engineer at the Lean FRO, working on the Lean programming language and theorem prover