Mentions légales du service
Extend `why3 pp` so as to also output type definitions and logic definitions
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Extend `why3 pp` so as to also output type definitions and logic definitions
MARCHE Claude
requested to merge
extend-why3-pp-latex
into
master
Oct 18, 2024
Overview
0
Commits
1
Pipelines
0
Changes
3
Although, only algebraic type definitions are printed
Merge request reports
Loading