ragsolver / docs /interfaces /FormalizerOutput.schema.json

Upload folder using huggingface_hub

ee54756 verified 10 days ago

292 Bytes

{
  "properties": {
    "proof_tactics": {
      "title": "Proof Tactics",
      "type": "string"
    },
    "notes": {
      "default": "",
      "title": "Notes",
      "type": "string"
    }
  },
  "required": [
    "proof_tactics"
  ],
  "title": "FormalizerOutput",
  "type": "object"
}

	{
	"properties": {
	"proof_tactics": {
	"title": "Proof Tactics",
	"type": "string"
	},
	"notes": {
	"default": "",
	"title": "Notes",
	"type": "string"
	}
	},
	"required": [
	"proof_tactics"
	],
	"title": "FormalizerOutput",
	"type": "object"
	}