{
  "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"
}