"Formal specification for the proof assistant Matita 0.99.2 (scripts)." +
@@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
* }
"Formal specification for the proof assistant Matita 0.99.2 (scripts)." +
@@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
* }