Mentions légales du service

Skip to content

Why3 pp addendum³

Benedikt Becker requested to merge why3-pp-addenum3 into master

More improvements for !232 (merged) TODO

  • remove parenthesis at least from identifiers and elements that are determined by paretheses
Edited by Benedikt Becker

Merge request reports