package info (click to toggle)
coq-quickchick 2.1.1-2
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 2,432 kB
  • sloc: ml: 4,367; ansic: 789; makefile: 388; sh: 27; python: 4; lisp: 2; perl: 2

Folder: sf-experiment

d .. (parent)
- - rw-r--r-- 1,886 .depend
- - rw-r--r-- 21,555 Auto.v
- - rw-r--r-- 4,637 Basics.v
- - rw-r--r-- 1,264 Bib.v
- - rw-r--r-- 5,186 Extraction.v
- - rw-r--r-- 62,452 Imp.v
- - rw-r--r-- 12,620 ImpCEvalFun.v
- - rw-r--r-- 13,945 ImpParser.v
- - rw-r--r-- 26,206 IndPrinciples.v
- - rw-r--r-- 57,007 IndProp.v
- - rw-r--r-- 411 Induction.v
- - rw-r--r-- 7,917 Lists.v
- - rw-r--r-- 50,129 Logic.v
- - rw-r--r-- 8,063 Makefile
- - rw-r--r-- 12,010 Maps.v
- - rw-r--r-- 8,619 Poly.v
- - rw-r--r-- 3,344 Postscript.v
- - rw-r--r-- 19,544 Preface.v
- - rw-r--r-- 21,580 ProofObjects.v
- - rw-r--r-- 12,555 Rel.v
- - rw-r--r-- 808 Tactics.v