History of notes-computer-programming-programmingLanguageDesign-prosAndCons-coq
2013-08-08
10:32 UTC
Revision 1
. . . .
BayleShanks
–
why does coq require 'reflexivity' in proofs? shouldn't this be assumed? -- http://adam.chlipala.net/cpdt/html/Intro.html -- Coq guarantees . . .