tests · 171768c422a623bf1e27342c81ff18de25efcea5 · Paolo G. Giarrusso / iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

1185 commits behind the upstream repository.

Pick and name universes for [bi_tforall] and [bi_texist].

Gregory Malecha authored 3 years ago

This requires the [fixpoint] version of [tele_arg].

171768c4

171768c4 3 years ago

Name	Last commit	Last update
..
algebra.ref
algebra.v
atomic.ref
atomic.v
bi.ref
bi.v
bi_ascii_parsing.ref
bi_ascii_parsing.v
heap_lang.ref
heap_lang.v
heap_lang_interpreter.ref
heap_lang_interpreter.v
heap_lang_printing.ref
heap_lang_printing.v
heap_lang_printing2.ref
heap_lang_printing2.v
heap_lang_proph.ref
heap_lang_proph.v
heapprop.ref
heapprop.v
ipm_paper.ref
ipm_paper.v
iprop.ref
iprop.v
iris_notation.ref
iris_notation.v
list_reverse.ref
list_reverse.v
mosel_paper.ref
mosel_paper.v
one_shot.ref
one_shot.v
one_shot_once.ref
one_shot_once.v
proofmode.ref
proofmode.v
proofmode_ascii.ref
proofmode_ascii.v
proofmode_iris.ref
proofmode_iris.v
proofmode_monpred.ref
proofmode_monpred.v
proofmode_siprop.ref
proofmode_siprop.v
siprop.ref
siprop.v
string_ident.ref
string_ident.v
telescopes.ref
telescopes.v
tree_sum.ref
tree_sum.v