name "documentation_3"
table {
[ { name "ldJ3a" "J3a." "" } {
"F. Guidi:" +
@@("download/gda.pdf"
"A Verified Translation of Landau's \"Grundlagen\" from Automath into a Pure Type System, via λδ") +
"(2015-02)." +
"Submitted to JFR, Univerity of Bologna." +
@@("documentation.html#bibtex" "BibTeX entry") ^ "."
* }
]
}
class "top" [ * ]