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 |