Skip to content
Snippets Groups Projects
Commit 9003ab64 authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'ike/frame_exist' into 'master' 

Fix broken proofs for improved iFrame ∃

See merge request iris/lambda-rust!35
parents 8d798c30 9618ed32
No related branches found
No related tags found
1 merge request!35Fix broken proofs for improved iFrame ∃
Pipeline #98001 failed