Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
Stale branches
double_negation
default
protected
5badc404
·
Show that rvs is (classically) equivalent to a kind of double negation.
·
Aug 28, 2016
patch-1
2c6e9fa6
·
Fix typo in value case of weakest pre documentation.
·
Nov 14, 2017
later_credit_alt
6028d0b2
·
Opening rule for invariants with a credit inside
·
Mar 07, 2021
later_cred_reloc
1046aa23
·
Fix wp_pre', allow credits in adequacy
·
Mar 21, 2021