Forked from
Iris / Iris
3741 commits behind the upstream repository.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| lib | ||
| bi.v | ||
| big_op.v | ||
| derived_connectives.v | ||
| derived_laws_bi.v | ||
| derived_laws_sbi.v | ||
| embedding.v | ||
| interface.v | ||
| monpred.v | ||
| notation.v | ||
| plainly.v | ||
| tactics.v | ||
| telescopes.v | ||
| updates.v | ||
| weakestpre.v | ||