Skip to content

Correct handling of observations in weakestpre - #536

Open
maxvistrup wants to merge 3 commits into
leanprover-community:masterfrom
maxvistrup:master
Open

Correct handling of observations in weakestpre#536
maxvistrup wants to merge 3 commits into
leanprover-community:masterfrom
maxvistrup:master

Fix build.

37687aa
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jul 27, 2026 in 3m 3s