Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • ci/ralf/telescopes
  • ralf/tc_control_full
  • ci/ralf/atomic
  • mtac2-tt
  • gen_proofmode
  • ralf/pm_red
  • ci/ralf/mtac2-tt
  • ci/ralf/pm_red
  • robbert/wp_misc
  • ci/robbert/overloaded_wp
  • ralf/emp-intro
  • joe/defined_pers
  • ralf/core
  • ralf/tc_control2
  • ralf/tc_control
  • robbert/cancelable
  • jh/evar_iframe
  • ci/janno/vmcast
  • robbert/iAssert_with
  • 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
Adding telescopes and some useful lemmas.
Joshua Yanovski authored 
These will be used to help define and prove lemmas related to
the incoming Accessible typeclass.
e8bced35
History
user avatar e8bced35
History
Name Last commit Last update