helm/www/lambdadelta/web/home/documentation_3.tbl

   1 name "documentation_3"
   2
   3 table {
   4    [ { name "ldJ4" "<span class=\"emph alpha\">J4.</span>" "" } {
   5      "F. Guidi:" +
   6      @@("download/gda.pdf"
   7      "A Verified Translation of Landau's \"Grundlagen\" from Automath into a Pure Type System, via λδ") +
   8      "(<span class=\"emph alpha\">2015-02</span>)." +
   9      "Submitted to JFR, Univerity of Bologna."
  10      * }
  11    ]
  12 }
  13
  14 class "top" [ * ]