Skip to content
Snippets Groups Projects
Select Git revision
  • tchajed/expose-intro-destruct-internals
  • polymorphic-bi
  • master default protected
  • fix-doc-links
  • parametric-algebra
  • fix-proof-coq-master
  • dfrac-valid-arg
  • avoid-deprecated-arith
  • adjust-focused-goal
  • prefix-automatic-names
  • qualify-instances
  • exists-intro-pattern
  • document-ipm-classes
  • fix-intuitionistic-spatial
  • strong-frag-validity/view-bij
  • dfrac-smart-constructor
  • rauth
  • cmra-restrict-valid
  • cmra-iso
  • port-auth_map
  • 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
Forked from Iris / Iris
Source project has a limited visibility.
Ralf Jung's avatar
Merge branch 'gset_to_gmap_theory' into 'master'
Ralf Jung authored 
Add lemmas for big_opS and gmap singletons

See merge request iris/iris!1049
426f2d2e
History
Ralf Jung's avatar 426f2d2e
History
Name Last commit Last update