Showing
- coq-iris.opam 19 additions, 5 deletionscoq-iris.opam
- coq-lint.sh 12 additions, 0 deletionscoq-lint.sh
- docs/dune.md 47 additions, 0 deletionsdocs/dune.md
- docs/editor.md 140 additions, 315 deletionsdocs/editor.md
- docs/equalities_and_entailments.md 48 additions, 2 deletionsdocs/equalities_and_entailments.md
- docs/heap_lang.md 18 additions, 8 deletionsdocs/heap_lang.md
- docs/ibus 124 additions, 0 deletionsdocs/ibus
- docs/proof_guide.md 40 additions, 7 deletionsdocs/proof_guide.md
- docs/proof_mode.md 70 additions, 31 deletionsdocs/proof_mode.md
- docs/resource_algebras.md 66 additions, 53 deletionsdocs/resource_algebras.md
- docs/style_guide.md 270 additions, 0 deletionsdocs/style_guide.md
- docs/vim_ultisnips 524 additions, 0 deletionsdocs/vim_ultisnips
- docs/vscode 178 additions, 0 deletionsdocs/vscode
- dune 12 additions, 0 deletionsdune
- dune-project 2 additions, 0 deletionsdune-project
- iris-bot 189 additions, 0 deletionsiris-bot
- iris/algebra/agree.v 62 additions, 46 deletionsiris/algebra/agree.v
- iris/algebra/auth.v 132 additions, 105 deletionsiris/algebra/auth.v
- iris/algebra/big_op.v 354 additions, 50 deletionsiris/algebra/big_op.v
- iris/algebra/cmra.v 618 additions, 387 deletionsiris/algebra/cmra.v
Some changes are not shown.
For a faster browsing experience, only 20 of 162+ files are shown. Download one of the files below to see all changes.
coq-lint.sh
0 → 100755
docs/dune.md
0 → 100644
docs/ibus
0 → 100644
docs/style_guide.md
0 → 100644
docs/vim_ultisnips
0 → 100644
docs/vscode
0 → 100644
dune
0 → 100644
dune-project
0 → 100644
iris-bot
0 → 100755