Forked from
Iris / Iris
1690 commits behind the upstream repository.
Ralf Jung
authored
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| lib | ||
| adequacy.v | ||
| class_instances.v | ||
| derived_laws.v | ||
| lang.v | ||
| locations.v | ||
| metatheory.v | ||
| notation.v | ||
| pretty.v | ||
| primitive_laws.v | ||
| proofmode.v | ||
| proph_erasure.v | ||
| tactics.v | ||
| total_adequacy.v | ||