Forked from
Iris / Iris
6734 commits behind the upstream repository.
Ralf Jung
authored
FDor editors that display 0-width space with more than 0 width, this makes the indentation of assertions more consistent
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| coq_tactics.v | ||
| environments.v | ||
| ghost_ownership.v | ||
| intro_patterns.v | ||
| invariants.v | ||
| notation.v | ||
| pviewshifts.v | ||
| spec_patterns.v | ||
| sts.v | ||
| tactics.v | ||
| weakestpre.v | ||