Skip to content

update guidelines

Björn Brandenburg requested to merge wip-doc-update into master

Follow up from !276 (comment 89874).

While at it, also mention a few patterns for case analyses, mention how to find bool lemmas, and fix a few formatting issues.

Merge request reports