X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Flibrary.shtml;h=c22db5e1ce9f03802dcbcb812811ff85175bef68;hb=f73bd1c1cdd504c2a991071505b2e4f541791a7f;hp=a6f195b630f6c9f6eed33b9df899c8323de49fee;hpb=9d356a6f202a77fb1dd67b57b1c86ac3ebe1382b;p=helm.git diff --git a/helm/www/matita/library.shtml b/helm/www/matita/library.shtml index a6f195b63..c22db5e1c 100644 --- a/helm/www/matita/library.shtml +++ b/helm/www/matita/library.shtml @@ -1,6 +1,6 @@ - - + +
The execution in the executable formalization has been compared to real world execution using the USB SPYDER08 @@ -58,6 +58,11 @@ here.
++ See the λδ home page. +
+