Assertion: justification | /r/HasProperty | mathematical proofs
Facets:
Source sentences:
text: The fundamental value of the BHK semantics is that informally but unambiguously it suggests treating justifications, here mathematical proofs, as objects with operations.