Can be tested using bin/why3webserver.opt & firefox src/ide/index.html
Attach a file by drag & drop or click to upload
MARCHE Claude authored