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: other

d .. (parent)
- - rw-r--r-- 1,316 BSTTest.v
- - rw-r--r-- 16,455 DependentTest.v
- - rw-r--r-- 391 Fuzz.v
- - rw-r--r-- 7,166 MergeExample.v
- - rw-r--r-- 1,210 PluginTest.v
- - rw-r--r-- 427 ProofGen.v
- - rw-r--r-- 1,401 Reflection.v
- - rw-r--r-- 16,136 TacticExample.v
- - rw-r--r-- 115 TacticExampleX.v.cppo
- - rw-r--r-- 12,509 dependentProofs.v
- - rw-r--r-- 528 dune
- - rw-r--r-- 2,381 enumProofs.v
- - rw-r--r-- 7,700 enumSTProofs.v
- - rw-r--r-- 2,595 genProofs.v
- - rw-r--r-- 2,478 neg_example.v
- - rw-r--r-- 252 tagging.v
- - rw-r--r-- 2,014 zoo.v