why3config --detect remove manually added prover
I am trying to add an editor for Coq (proofgeneral), so I need that the configuration file is not erased by
In this, I will try to avoid this removal unless I am missing something ?
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information