Block kinds: folio-assistant-sci

folio-assistant-sci · block-kinds/ · every instance's Block kinds

Families — 1, over 7 document(s)

Documents are grouped by the $schema each one declares; there is no total across families.

Declares no roll-up field, so this family has no counts to show. That is a property of the schema, not a count of zero.

0 document(s) carry no $schema (could not determine); 0 would not parse.

id	title or summary	$schema	file
`conjecture`		`folio-block-kind/v1`	`conjecture.json`
`corollary`		`folio-block-kind/v1`	`corollary.json`
`definition`	The one kind whose `lean` field is REQUIRED rather than optional, which is what makes the document/paper line machine-checkable at its sharpest point.	`folio-block-kind/v1`	`definition.json`
`lemma`		`folio-block-kind/v1`	`lemma.json`
`proof`		`folio-block-kind/v1`	`proof.json`
`proposition`		`folio-block-kind/v1`	`proposition.json`
`theorem`		`folio-block-kind/v1`	`theorem.json`