Freek Wiedijk

133
reputation
4

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