Forked from
Iris / Iris
5986 commits behind the upstream repository.
Ralf Jung
authored
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| .gitignore | ||
| algebra.tex | ||
| base-logic.tex | ||
| bib.bib | ||
| constructions.tex | ||
| derived.tex | ||
| encodings.tex | ||
| iris.sty | ||
| iris.tex | ||
| listproc.sty | ||
| locallabel.sty | ||
| model.tex | ||
| pftools.sty | ||
| program-logic.tex | ||
| setup.tex | ||