-
- Downloads
version recovered on Oct. 2 2024
Showing
- CHANGES 126 additions, 0 deletionsCHANGES
- COPYRIGHT 3 additions, 0 deletionsCOPYRIGHT
- COPYRIGHT.template 3 additions, 0 deletionsCOPYRIGHT.template
- Coq-Win32-HOWTO.txt 74 additions, 0 deletionsCoq-Win32-HOWTO.txt
- IntroductionEnglish.v 90 additions, 0 deletionsIntroductionEnglish.v
- IntroductionFrancais.v 92 additions, 0 deletionsIntroductionFrancais.v
- LICENSE.template 53 additions, 0 deletionsLICENSE.template
- LICENSE.txt 53 additions, 0 deletionsLICENSE.txt
- Makefile 769 additions, 0 deletionsMakefile
- Operators.v 142 additions, 0 deletionsOperators.v
- README.txt 145 additions, 0 deletionsREADME.txt
- bin/pcoq 48 additions, 0 deletionsbin/pcoq
- bugs/b1.jpg 0 additions, 0 deletionsbugs/b1.jpg
- bugs/begaiement.jpg 0 additions, 0 deletionsbugs/begaiement.jpg
- bugs/bug1.v 13 additions, 0 deletionsbugs/bug1.v
- bugs/bug2.v 5 additions, 0 deletionsbugs/bug2.v
- bugs/bugs.html 1417 additions, 0 deletionsbugs/bugs.html
- bugs/uc_new13.gif 0 additions, 0 deletionsbugs/uc_new13.gif
- build 104 additions, 0 deletionsbuild
- config/.cvsignore 1 addition, 0 deletionsconfig/.cvsignore
Loading
Please register or sign in to comment