Closed adityasaky closed 4 months ago
Closes #326.
I've amended some of the original text to say predicate where ITE-9 says attestation as the full model is fleshed out here already.
Closes #326.
I've amended some of the original text to say predicate where ITE-9 says attestation as the full model is fleshed out here already.