Pronunciation
Proof
proof_improvement_is_well_defined
proof_improvement_preserves_equality
proof-of-concept
Proofs
ProofType
_prop
prop
_Prop
