Skip to content
Snippets Groups Projects
Select Git revision
  • coq-13969
  • master default protected
  • ralf/tc-weakestpre
  • ci/ralf/Z_of_nat
  • hai/si_embed
  • hai/si_experiment
  • ci/ralf/bi-language
  • ralf/coq-bug-13942
  • iris-3.4
  • ci/janno/strict-tc-resolution
  • ralf/vs-mask-adjust
  • ralf/make_laterable
  • ci/robbert/into_fupd
  • ci/robbert/frame_fractional
  • robbert/fupd_elim
  • ci/robbert/coq_bug_7773
  • ci/robbert/mapsto_persist
  • step_fupdN_support
  • ci/debug
  • ralf/wp_apply-no-simpl
  • iris-3.4.0
  • iris-3.3.0
  • iris-3.2.0
  • 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
33 results
Compare
Forked from Iris / Iris
Source project has a limited visibility.
user avatar
Separate parameters for language and global functor.
Robbert Krebbers authored 
This way we can more easily state lemmas for concrete languages for
arbitrary global functors.
817c0816
History
user avatar 817c0816
History
Name Last commit Last update