Skip to content
Snippets Groups Projects
Select Git revision
  • ci/robbert/set_unfold
  • ci/robbert/tc_opaque
  • master default protected
  • robbert/own_ghost
  • ci/janno/let_bind_envs
  • ci/janno/reduction_no_check
  • mtac2-tt
  • ci/ralf/set_unfold_elements
  • ci/joe/compact_ipm
  • robbert/big_sepM2
  • ci/robbert/kill_locked_value_lambdas
  • ralf/const-rf
  • ci/debug
  • ralf/no-generalize
  • ralf/saved-anything
  • ci/disable-ltac-backtrace
  • iris-3.1
  • iris-3.0
  • ci/maximedenes/instance-nobody-open-proof
  • robbert/ufrac
  • iris-3.1.0
  • iris-3.0.0
  • iris-2.0
  • iris-2.0-rc2
  • iris-2.0-rc1
  • iris-1.1
  • iris-1.0
  • hope-2015-coq-1
  • appendix-1.0.0
  • appendix-1
30 results
Compare
Forked from Iris / Iris
Source project has a limited visibility.
user avatar
Make Program obligations Transparent by default.
Robbert Krebbers authored 
This may save the need to seal off some stuff.
9af65178
History
user avatar 9af65178
History
Name Last commit Last update