Mentions légales du service

Skip to content

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

MARCHE Claude requested to merge extend-why3-pp-latex into master

Although, only algebraic type definitions are printed

Merge request reports