package info (click to toggle)
coq-iris 4.3.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 4,116 kB
  • sloc: python: 130; makefile: 61; sh: 28; sed: 2

Folder: bi

d .. (parent)
d d rwxr-xr-x 4,096 lib
- - rw-r--r-- 4,998 ascii.v
- - rw-r--r-- 528 bi.v
- - rw-r--r-- 145,614 big_op.v
- - rw-r--r-- 6,120 derived_connectives.v
- - rw-r--r-- 73,738 derived_laws.v
- - rw-r--r-- 23,111 derived_laws_later.v
- - rw-r--r-- 18,064 embedding.v
- - rw-r--r-- 2,312 extensions.v
- - rw-r--r-- 23,901 interface.v
- - rw-r--r-- 12,969 internal_eq.v
- - rw-r--r-- 55,551 monpred.v
- - rw-r--r-- 8,254 notation.v
- - rw-r--r-- 31,282 plainly.v
- - rw-r--r-- 4,031 telescopes.v
- - rw-r--r-- 28,607 updates.v
- - rw-r--r-- 14,972 weakestpre.v