Forked from
Iris / Iris
6478 commits behind the upstream repository.
Ralf Jung
authored
I know we don't use it. Stating theorems also serves to document things, and IMHO this one is informative. It also costs us nothing.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| lib | ||
| derived.v | ||
| heap.v | ||
| lang.v | ||
| lifting.v | ||
| notation.v | ||
| proofmode.v | ||
| substitution.v | ||
| tactics.v | ||
| wp_tactics.v | ||