Theorem Proving People (First 10 people) - Page 0
Leonardo de Moura
Computer scientist
Michael Norrish
Computer researcher
Stephan Merz
Author
Tobias Nipkow
Computer scientist
Claudio Sacerdoti Coen
Researcher
Amy Felty
Monika Seisenberger
Author
Boris Motik
Wolfgang Arendt
German mathematician
