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

d .. (parent)
- - rw-r--r-- 136 .gitignore
- - rw-r--r-- 75 Makefile
- - rw-r--r-- 16,607 algebra.tex
- - rw-r--r-- 15,841 base-logic.tex
- - rw-r--r-- 116,476 bib.bib
- - rw-r--r-- 17,047 constructions.tex
- - rw-r--r-- 19,938 derived.tex
- - rw-r--r-- 20,613 extended-logic.tex
- - rw-r--r-- 3,649 heaplang.sty
- - rw-r--r-- 12,685 heaplang.tex
- - rw-r--r-- 17,020 iris.sty
- - rw-r--r-- 1,887 iris.tex
- - rw-r--r-- 4,344 language.tex
- - rw-r--r-- 10,344 listproc.sty
- - rw-r--r-- 4,405 locallabel.sty
- - rw-r--r-- 8,083 model.tex
- - rw-r--r-- 14,508 paradoxes.tex
- - rw-r--r-- 5,198 pftools.sty
- - rw-r--r-- 37,772 program-logic.tex
- - rw-r--r-- 3,720 setup.tex
- - rw-r--r-- 4,718 test.tex
- - rwxr-xr-x 138 upload