package info (click to toggle)
coq 8.0pl2-2
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 14,228 kB
  • ctags: 17,685
  • sloc: ml: 97,070; makefile: 1,255; sh: 738; lisp: 456; awk: 15

Folder: correctness

d .. (parent)
d d rwxr-xr-x 125 examples
- - rw-r--r-- 5,647 ArrayPermut.v
- - rw-r--r-- 2,386 Arrays.v
- - rw-r--r-- 748 Arrays_stuff.v
- - rw-r--r-- 875 Correctness.v
- - rw-r--r-- 3,007 Exchange.v
- - rw-r--r-- 1,991 ProgBool.v
- - rw-r--r-- 818 ProgInt.v
- - rw-r--r-- 1,208 ProgramsExtraction.v
- - rw-r--r-- 702 Programs_stuff.v
- - rw-r--r-- 5,262 Sorted.v
- - rw-r--r-- 3,332 Tuples.v
- - rw-r--r-- 2,967 past.mli
- - rw-r--r-- 7,258 pcic.ml
- - rw-r--r-- 950 pcic.mli
- - rw-r--r-- 3,473 pcicenv.ml
- - rw-r--r-- 1,586 pcicenv.mli
- - rw-r--r-- 4,724 pdb.ml
- - rw-r--r-- 1,003 pdb.mli
- - rw-r--r-- 3,815 peffect.ml
- - rw-r--r-- 1,280 peffect.mli
- - rw-r--r-- 6,445 penv.ml
- - rw-r--r-- 2,823 penv.mli
- - rw-r--r-- 5,574 perror.ml
- - rw-r--r-- 1,717 perror.mli
- - rw-r--r-- 14,662 pextract.ml
- - rw-r--r-- 713 pextract.mli
- - rw-r--r-- 6,351 pmisc.ml
- - rw-r--r-- 2,692 pmisc.mli
- - rw-r--r-- 10,243 pmlize.ml
- - rw-r--r-- 830 pmlize.mli
- - rw-r--r-- 20,843 pmonad.ml
- - rw-r--r-- 3,550 pmonad.mli
- - rw-r--r-- 3,558 pred.ml
- - rw-r--r-- 909 pred.mli
- - rw-r--r-- 3,760 prename.ml
- - rw-r--r-- 2,046 prename.mli
- - rw-r--r-- 2,711 preuves.v
- - rw-r--r-- 31,128 psyntax.ml4
- - rw-r--r-- 948 psyntax.mli
- - rw-r--r-- 8,373 ptactic.ml
- - rw-r--r-- 1,094 ptactic.mli
- - rw-r--r-- 2,199 ptype.mli
- - rw-r--r-- 19,465 ptyping.ml
- - rw-r--r-- 1,342 ptyping.mli
- - rw-r--r-- 9,011 putil.ml
- - rw-r--r-- 2,690 putil.mli
- - rw-r--r-- 11,123 pwp.ml
- - rw-r--r-- 817 pwp.mli