package info (click to toggle)
coinst 1.9.3-6
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,904 kB
  • sloc: ml: 15,760; javascript: 10,468; makefile: 143; ansic: 52

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