package info (click to toggle)
coinst 1.01-2
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 652 kB
  • sloc: ml: 6,576; makefile: 119

Folder: Proofs

d .. (parent)
- - rw-r--r-- 99 .depend
- - rw-r--r-- 9,023 Lattice.v
- - rw-r--r-- 334 Makefile
- - rw-r--r-- 5,572 Po.v
- - rw-r--r-- 5,231 Relation.v
- - rw-r--r-- 82,207 coinst.v