Stack Overflow
Stack Overflow

Freek Wiedijk
481
reputation
1
3
15
  • Amsterdam, Netherlands
  • Member since May 20 2016
  • 56 profile views
  • Last seen Dec 02 '19 at 19:53

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