back
user profile
pykello
7,321karma·723submissions·March 16, 2011
recent activity (723 total)
comment
Which proof assistants did you play with? Why are avoiding coq?
comment
Reading this news while self-studying and enjoying the "Software Foundations" [1] course is so sweet. [1] http://www.seas.upenn.edu/~cis500/current/index.html …