paulrei

...joined 2 weeks ago, and has 2 karma

submissions / comments / favourites

Research Software Engineer at the Lean FRO, working on the Lean programming language and theorem prover