search

snu-sf-class / pl201602

SNU 2016 Fall 4190.310 Programming Language
22 stars 10 forks source link

Why Coq is so interesting? #1

Closed jeehoonkang closed 8 years ago

jeehoonkang commented 8 years ago

just because...

jeehoonkang commented 8 years ago

why not?