X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=67872e9d6dd06a38f94613b22851890c44a360b2;hb=691c330235597faab8ad7be34242bc545d4c4023;hp=7785bbf75cf770cdb930d339558caeb21001bcbb;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 7785bbf75..67872e9d6 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -5,20 +5,20 @@ lambdadelta home page - +

[Crux Logo]

The Formal System λδ (lambdadelta)

Towards the unification of terms, types, environments and contexts

[Separator]
+ title="Separator" src="images/rainbow.png">
@@ -42,7 +42,7 @@

Computer-checked formal specifications [Butterfly]

+ src="images/b9.png">Resource 1 below provides for the statically generated natural language @@ -141,10 +141,10 @@ Formal

Tools [Butterfly]

+ title="Butterfly" src="images/b5.png"> [Crux Logo] The λδ Digital @@ -183,7 +183,7 @@ href="static/lddl/crg_si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.ht
[Helena Logo] Helena is a λδ processor, @@ -268,7 +268,7 @@ computer

Other resources [Butterfly]

+ title="Butterfly" src="images/b4.png">
  • A BibTeX database of λδ documentation: [Use Any Browser Here] [PNG Used Here]
    + src="images/PNGnow2.png">

    Last update 2012-12-01 by Ferruccio