Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
tests
test_itp.mlw
Find file
Blame
History
Permalink
nouvelle branche pour le prouveur interactif. Experience actuelle :
· 03260ff1
MARCHE Claude
authored
Oct 09, 2015
why3 prove -a split_goal_wp -D why3_itp tests/test_itp.mlw
03260ff1