Stack Overflow
Stack Overflow

Katty J.
686
reputation
4
11
  • Member since April 24 2013
  • 464 profile views
  • Last seen May 31 '16 at 08:38

I'm interested in combinatorics and dependently typed programming.