{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "cph:kind/lemma",
  "title": "lemma",
  "type": "object",
  "properties": {
    "stmt": { "type": "string", "x-cph-content": true },
    "proof": { "type": "string", "x-cph-content": true },
    "slides": { "type": "string", "x-cph-content": "md" },
    "transcript": { "type": "string", "x-cph-content": "md" }
  },
  "required": ["stmt"],
  "additionalProperties": false
}