user:paulrei
created:Aug 24, 2026
karma:2
about:

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