`why3 ide` fails to start because of some missing files
It seems like
make install does not install enough files:
language file for 'Why3python' not found in directory /usr/local/share/why3/lang.
Presumably caused by 5886268a
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information