bump Iris
Showing
- opam 1 addition, 1 deletionopam
- theories/lifting.v 7 additions, 6 deletionstheories/lifting.v
- theories/lifting_vProp.v 17 additions, 13 deletionstheories/lifting_vProp.v
- theories/wp_tactics.v 1 addition, 1 deletiontheories/wp_tactics.v
- theories/wp_tactics_vProp.v 2 additions, 2 deletionstheories/wp_tactics_vProp.v
Loading
Please register or sign in to comment