Unix and Linux Stack Exchange
Unix and Linux Stack Exchange

luikore
266
reputation
  • Hangzhou, China
  • Member since November 26 2018
  • 2 profile views
  • Last seen Feb 22 '20 at 07:39

Ruby, Haskell, Abstract Algebra, Theorem Prover