Changes between Version 36 and Version 37 of WikiStart


Ignore:
Timestamp:
Jun 18, 2012, 2:02:57 PM (5 years ago)
Author:
mulligan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v36 v37  
    77=== CPP 2012 submissions ===
    88
    9 Code for the two CerCo CPP 2012 submissions can be found here.  A snapshot of a recent version of Matita for typechecking these submissions can be found here.
     9Code for the two CerCo CPP 2012 submissions can be found attached to the bottom of this page in the file "CPP2012.tar.gz".  A snapshot of a recent version of Matita for typechecking these submissions can also be found attached in the file "Matita-18-06-2012.tar.gz".
    1010
    1111=== Related work ===