Tag : program
Coq : back to basics
Posted by alpheccar - May 29 2007 at18:51 CEST
Before continuing my exploration of the specification and extraction of softwares in Coq, I think I should make a pause and focus a little on Coq basics like the differences between Set and Prop and the meaning of a type like 4>0 ...
