Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Issues
#622
Improve IDE for counterexamples
Add a boolean in proofattempt result to indicate if counterexamples can be launched on proofattempt
Change the status image in the ide to show that counterexamples can be queried
Edited
Mar 14, 2022
by
MOREAU Solene
To upload designs, you'll need to enable LFS and have an admin enable hashed storage.
More information