History of books-programmingLanguages-programmingLanguagesChProofLangs
2014-06-26
21:36 UTC
Revision 1
. . . .
BayleShanks
–
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: a survey] == Chapter : Proof assistant . . .