E.W.Ayers

Hello, I am Edward Ayers.

I am currently a post-doctoral researcher at Carnegie Mellon University at the newly announced Hoskinson Center for Formal Mathematics led by Jeremy Avigad. I work on the Lean theorem prover, which is a piece of software that lets you write computer-verified, mathematics.

3