Interactive Theorem Proving People (First 5 people) - Page 0

Michael Norrish

Michael Norrish

Computer researcher

Tobias Nipkow

Tobias Nipkow

Computer scientist

Claudio Sacerdoti Coen

Claudio Sacerdoti Coen

Researcher

Monika Seisenberger

Monika Seisenberger

Author

Viktor Vafeiadis

Viktor Vafeiadis