File size: 961 Bytes
ee54756 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 | {
"properties": {
"ok": {
"title": "Ok",
"type": "boolean"
},
"errors": {
"items": {
"additionalProperties": true,
"type": "object"
},
"title": "Errors",
"type": "array"
},
"uses_sorry": {
"default": false,
"title": "Uses Sorry",
"type": "boolean"
},
"axioms": {
"items": {
"type": "string"
},
"title": "Axioms",
"type": "array"
},
"used_constants": {
"items": {
"type": "string"
},
"title": "Used Constants",
"type": "array"
},
"seconds": {
"default": 0.0,
"title": "Seconds",
"type": "number"
},
"lean_file": {
"default": "",
"title": "Lean File",
"type": "string"
},
"raw": {
"default": "",
"title": "Raw",
"type": "string"
}
},
"required": [
"ok"
],
"title": "Verdict",
"type": "object"
}
|