Branches · Joseph Tassarotti / iris-coq-public · GitLab

Stale branches

double_negation default protected

5badc404 · Show that rvs is (classically) equivalent to a kind of double negation. · Aug 29, 2016

Download source code

zip tar.gz tar.bz2 tar
patch-1

2c6e9fa6 · Fix typo in value case of weakest pre documentation. · Nov 14, 2017

Compare

Download source code

zip tar.gz tar.bz2 tar
later_credit_alt

6028d0b2 · Opening rule for invariants with a credit inside · Mar 08, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
later_cred_reloc

1046aa23 · Fix wp_pre', allow credits in adequacy · Mar 22, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar