[<<][compsci][>>][..]
Wed Oct 7 09:53:16 CEST 2009

Coq & Dependent types

Let's pick up again at Coq and dependent types.



[Reply][About]
[<<][compsci][>>][..]