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