Stack Overflow
Stack Overflow

luikore
750
reputation
5
16
  • Hangzhou, China
  • Member since September 02 2009
  • 120 profile views
  • Last seen Mar 25 '22 at 07:29

Ruby, Haskell, Abstract Algebra, Theorem Prover