Content adapters: folio-assistant-sci

folio-assistant-sci · content-adapters/ · every instance's Content adapters

Families — 1, over 1 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
`mathpaper`	The formal-claim vocabulary: definition, theorem, lemma, proposition, corollary, conjecture and proof, each of whose assertion is a mathematical claim a .lean …	`folio-content-adapter/v1`	`mathpaper.json`