X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=fb8b6d6bdfbefb01759bb9b186cf953297774911;hb=282936907bd9b37d9de37f14e0e497db16f5d8b0;hp=83528ee961bfe09de5373b99b665974e0ccbf2a4;hpb=3bd1c05c93a76bb696aa93a2c8a104cad4dfc475;p=helm.git diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 83528ee96..fb8b6d6bd 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -16,12 +16,12 @@

+ $[\lambda\delta home]$

The Formal Systems of the Î»Î´ (\lambda\delta) Family

+ $\lambda\delta rainbow rule$

@@ -31,7 +31,7 @@ - home + home news @@ -57,7 +57,7 @@ - foreword + foreword milestones @@ -73,13 +73,15 @@ version 2 - library + helena + + + Open Symbolic Notation (OSN) - (static LDDL directory) - citations + citations visibility @@ -93,16 +95,14 @@ version 1 - helena - - -
+ library + (static LDDL directory)

Computer-checked formal specifications [spacer]

Computer-checked formal specifications $\lambda\delta butterfly$

The systems of the Î»Î´ family are developed as machine-checked digital specifications, @@ -127,8 +127,8 @@ version name - developed with stage + developed with started announced released @@ -155,17 +155,15 @@ Version 2 "basic_2" + "A2" - Matita 0.99.2 + Matita 0.99.3 - "A2" October 2015 - -
- + @@ -174,10 +172,10 @@
- -
- "A1" + + Matita 0.99.2 + April 2011 June 2014 October 2014 @@ -190,27 +188,25 @@ Abandoned + Coq 7.3.1 - March 2008 February 2011 - -
- + Version 1 "basic_1" + Coq 7.3.1 - May 2004 December 2005 November 2006 @@ -245,14 +241,14 @@

Î»Î´ version 3 (proposed)

+ $\lambda\delta butterfly$ Î»Î´ version 3 (proposed)