Skip to content

fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) - #1135

Open
Yiping106283 wants to merge 1 commit into
EasyCrypt:negative-phoare-falsefrom
Yiping106283:fix-phoare-rnd-nonneg
Open

fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105)#1135
Yiping106283 wants to merge 1 commit into
EasyCrypt:negative-phoare-falsefrom
Yiping106283:fix-phoare-rnd-nonneg

fix(phl): emit the non-negativity of the bound as a separate goal in …

20a2653
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-commit-count
succeeded Sep 13, 2026 in 2s