Correct handling of observations in weakestpre - #536

Open

maxvistrup wants to merge 3 commits into

leanprover-community:masterfrom

maxvistrup:master

Commits on Jul 25, 2026

Fix handling of observation list in definition of weakestpre.
maxvistrup
committed
8c409ac
Merge branch 'master' of https://github.com/leanprover-community/iris-lean
maxvistrup
committed
f416da3
Fix build.
maxvistrup
committed
37687aa