Nokome Bentley • 1 min read

Claim Type

The type of a `Claim`.

Members

The ClaimType type has these members:

Statement
Theorem
Lemma
Proof
Postulate
Hypothesis
Proposition
Corollary

Bindings

The ClaimType type is represented in:

JSON-LD
JSON Schema
Python type ClaimType
Rust type ClaimType
TypeScript type ClaimType

Source

This documentation was generated from ClaimType.yaml by docs_types.rs.