why3prove, JSON output : make the output fully in JSON
why3prove --json produces an output where only portions of counterexamples are in JSON syntax. All the output should be JSON : the prover results, and all the counterexample.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information