Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Joseph Tassarotti
iris-coq-public
Repository
Branches
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
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
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 07, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
later_cred_reloc
1046aa23
·
Fix wp_pre', allow credits in adequacy
·
Mar 21, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar