-
Virgile Prevosto authoredVirgile Prevosto authored
f009647b32309dea209f2029c88f04ea.json 82 B
{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0066,
"steps": 63 }
{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0066,
"steps": 63 }