ProofFrog has four types of files: Primitive Files, Scheme Files, Game Files and Proof Files.

Proof files are the only type of file that ProofFrog actually verifies, the remaining exist to provide definitions of security definitions and schemes to be used in proofs.

Examples for the syntax of each file can be found on the Examples page.

The full grammar for each of the file types, in ANTLR 4 syntax, can be found in the GitHub repo