Skip to content

slightly expand notation docs

Ralf Jung requested to merge ralf/proof_guide into master

@Blaisorblade does this make sense?

Merge request reports