luikore

256
reputation
2
3

Ruby, Haskell, Abstract Algebra, Theorem Prover