-
Virgile Prevosto authoredVirgile Prevosto authored
fac6969a8e190d527fdce9061c9983e6.json 82 B
{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0067,
"steps": 24 }
{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0067,
"steps": 24 }