Freek Wiedijk

Amsterdam, Netherlands

http://www.cs.ru.nl/~freek/

I love programming. I love mathematics. Therefore I love theorem proving.

Top Answers
No answers with score of 5 or more