[<<][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][>>][..]