Mentions légales du service

Skip to content

Extend `why3 pp` so as to also output type definitions and logic definitions

MARCHE Clauderequested to merge
extend-why3-pp-latex into master

Although, only algebraic type definitions are printed

Merge request reports