import-inventory
For LLMs4 sections
Reference page for the import-inventory.schema.json JSON schema.
Versions
Section titled “Versions”Accepted format: arxo.import.inventory/0.1.
Top-level fields
Section titled “Top-level fields”| name | type-or-$ref | required | description |
|---|---|---|---|
format | "arxo.import.inventory/0.1" | yes | — |
selection | array | yes | — |
scope | string | yes | — |
entries | object | yes | — |
Enumerations
Section titled “Enumerations”| location | values |
|---|---|
properties/format | "arxo.import.inventory/0.1" |
properties/entries/additionalProperties/properties/kind | "theorem", "definition", "axiom", "instance" |
properties/entries/additionalProperties/properties/role | "selected", "dependency" |
Raw schema
Section titled “Raw schema”Documentation for Arxo. Writings — blog.arxo.io.
Anonymous visit counts on stats.arxo.io, no cookies.