document #86 in the style guidelines (!194) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Björn Brandenburg requested to merge doc-update-forall into master Mar 03, 2022

Explain in Prosa's style guidelines that the explicit forall is no accident.

Closes: #86 (closed)