Skip to content

prove C_conseq: monotonicity of jointCondition modality - #265

Closed
pirapira wants to merge 2 commits into
masterfrom
fix/C_conseq-proof
Closed

prove C_conseq: monotonicity of jointCondition modality#265
pirapira wants to merge 2 commits into
masterfrom
fix/C_conseq-proof

style: use fun x ↦ syntax per project convention

3be6fac
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.