-
Virgile Prevosto authoredVirgile Prevosto authored
c0288c0bcdfea02e3f979d31d9b93664.json 82 B
{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0095,
"steps": 66 }
{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0095,
"steps": 66 }