Leo de Moura

Person

Author of the Lean theorem prover, mentioned as part of the CSLIB steering committee.

Mentioned in 1 video