e6ecc4f1631de0750d8153bb21c50f91.json 87 Bytes
Newer Older
1
2
{ "prover": "why3:Alt-Ergo,2.0.0", "verdict": "valid", "time": 0.0158,
  "steps": 40 }