Skip to content

Specify that printing a proof requires parentheses arround the proof.

Hans-Jörgrequested to merge
proof-parens into master

Merge request reports