Forked from
Iris / Iris
573 commits behind the upstream repository.
Isaac van Bakel
authored
This style point came up in the feedback on #923, where a lack of explicit branching in a pattern made a proof more confusing. I've also moved another pattern-based style point into the newly-created section just to take advantage of the increased organisation.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| editor.md | ||
| equalities_and_entailments.md | ||
| heap_lang.md | ||
| ibus | ||
| proof_guide.md | ||
| proof_mode.md | ||
| resource_algebras.md | ||
| style_guide.md | ||
| vim_ultisnips | ||
| vscode | ||