Forked from
Iris / Iris
2430 commits behind the upstream repository.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| lib | ||
| ascii.v | ||
| bi.v | ||
| big_op.v | ||
| derived_connectives.v | ||
| derived_laws.v | ||
| derived_laws_later.v | ||
| embedding.v | ||
| interface.v | ||
| internal_eq.v | ||
| monpred.v | ||
| notation.v | ||
| plainly.v | ||
| tactics.v | ||
| telescopes.v | ||
| updates.v | ||
| weakestpre.v | ||