# Type Alias: ProofTypes

> **ProofTypes** = *typeof* [`ProofTypes`](../variables/ProofTypes.md)\[keyof *typeof* [`ProofTypes`](../variables/ProofTypes.md)\]

The types for proofs.