Forked from
Iris / Iris
5396 commits behind the upstream repository.

Ralf Jung
authored
Name | Last commit | Last update |
---|---|---|
.. | ||
class_instances.v | ||
classes.v | ||
coq_tactics.v | ||
environments.v | ||
intro_patterns.v | ||
notation.v | ||
sel_patterns.v | ||
spec_patterns.v | ||
strings.v | ||
tactics.v |