Members

The ClaimType type has these members:

Statement

Theorem

Lemma

Proof

Postulate

Hypothesis

Proposition

Corollary

Bindings

The ClaimType type is represented in:

Python type ClaimType

Rust type ClaimType

TypeScript type ClaimType

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

© 2026 Stencila