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