Skip to content

Nicer soundness for our update modalities

Ralf Jung requested to merge ralf/soundness into master

Following !229 (merged), this adjusts our update modality soundness statements to follow the same style.

Merge request reports