canProve

3 triples
GPTKB property

Random triples
Subject Object
gptkb:ProVerif secrecy properties
gptkb:ProVerif correspondence assertions
gptkb:ProVerif authentication properties