Showing
- docs/editor.md 392 additions, 0 deletionsdocs/editor.md
- docs/encodings.tex 0 additions, 568 deletionsdocs/encodings.tex
- docs/equalities_and_entailments.md 200 additions, 0 deletionsdocs/equalities_and_entailments.md
- docs/heap_lang.md 150 additions, 0 deletionsdocs/heap_lang.md
- docs/ibus 124 additions, 0 deletionsdocs/ibus
- docs/iris.tex 0 additions, 54 deletionsdocs/iris.tex
- docs/logic.tex 0 additions, 796 deletionsdocs/logic.tex
- docs/mathpartir.sty 0 additions, 446 deletionsdocs/mathpartir.sty
- docs/model.tex 0 additions, 527 deletionsdocs/model.tex
- docs/proof_guide.md 224 additions, 0 deletionsdocs/proof_guide.md
- docs/proof_mode.md 505 additions, 0 deletionsdocs/proof_mode.md
- docs/resource_algebras.md 296 additions, 0 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
- heap_lang/derived.v 0 additions, 65 deletionsheap_lang/derived.v
- heap_lang/heap.v 0 additions, 205 deletionsheap_lang/heap.v
- heap_lang/lang.v 0 additions, 365 deletionsheap_lang/lang.v
Some changes are not shown.
For a faster browsing experience, only 20 of 159+ files are shown. Download one of the files below to see all changes.
docs/editor.md
0 → 100644
docs/encodings.tex
deleted
100644 → 0
docs/equalities_and_entailments.md
0 → 100644
docs/heap_lang.md
0 → 100644
docs/ibus
0 → 100644
docs/iris.tex
deleted
100644 → 0
docs/logic.tex
deleted
100644 → 0
docs/mathpartir.sty
deleted
100644 → 0
docs/model.tex
deleted
100644 → 0
docs/proof_guide.md
0 → 100644
docs/proof_mode.md
0 → 100644
docs/resource_algebras.md
0 → 100644
docs/style_guide.md
0 → 100644
docs/vim_ultisnips
0 → 100644
docs/vscode
0 → 100644
dune
0 → 100644
dune-project
0 → 100644
heap_lang/derived.v
deleted
100644 → 0
heap_lang/heap.v
deleted
100644 → 0
heap_lang/lang.v
deleted
100644 → 0