"(revised <span class=\"emph delta\">2019-11</span>)." +
"Formal specification for the proof assistant Coq 7.3.1 (scripts)." +
@@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
"(revised <span class=\"emph delta\">2019-11</span>)." +
"Formal specification for the proof assistant Coq 7.3.1 (scripts)." +
@@("html/documentation.html#bibtex" "BibTeX entry") ^ "."