Skip to content
Snippets Groups Projects
T

Tutorial POPL18

Star 1
Project ID: 683
Select Git revision
1 result Searching
  • Clone with SSH
  • Clone with HTTPS
    • 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