Skip to content

swap total_prob parameter, simplify proofs

b24c56c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

[theories/modules] law of total probability #968

swap total_prob parameter, simplify proofs
b24c56c
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Fetch EasyCrypt External Projects Matrix
succeeded Apr 13, 2026 in 5s