Changes between Version 46 and Version 47 of WikiStart
- Timestamp:
- Nov 26, 2013, 4:53:54 AM (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v46 v47 21 21 == Software == 22 22 23 * Library "Systematic Development of Parallel Programs" [http://frederic.loulergue.eu/ftp/SDPP-nii2013.tar. gzversion nii2013] (includes !CertifiedBSML version nii2013, !ProgramCalculationInCoq version 0.16, LIFO)23 * Library "Systematic Development of Parallel Programs" [http://frederic.loulergue.eu/ftp/SDPP-nii2013.tar.bz2 version nii2013] (includes !CertifiedBSML version nii2013, !ProgramCalculationInCoq version 0.16, LIFO) 24 24 * Library "Program Calculation in Coq": [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.1.tar.bz2 version 0.1], [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.15.tar.bz2 version 0.15], [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.16.tar.bz2 version 0.16] (for Coq 8.3), [https://traclifo.univ-orleans.fr/SDPP/raw-attachment/wiki/WikiStart/ProgramCalculationInCoq-nii2013.tar.gz version nii2013] (for Coq 8.4) 25 25 * Library "Systematic Development of Parallel Programs" [http://frederic.loulergue.eu/ftp/sdpp-0.1.tar.bz2 version 0.1]