float_quat_of_rmat_assert_24.json 90 Bytes
Newer Older
1 2
[ { "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 9.0838,
    "steps": 3735 } ]