Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Joseph Tassarotti
iris-coq-public
Repository
Branches
Overview
Active
Stale
All
double_negation
default
protected
5badc404
·
Show that rvs is (classically) equivalent to a kind of double negation.
·
Aug 29, 2016
Select Archive Format
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
Select Archive Format
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
later_cred_reloc
1046aa23
·
Fix wp_pre', allow credits in adequacy
·
Mar 22, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar