Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
ide
why3ide.ml
Find file
Blame
History
Permalink
launch prover on all subgoals when current focus is not a transformation a theory or a file
· e5ba14eb
Clément Fumex
authored
Nov 22, 2016
e5ba14eb