Naysayer proofs.

István András Seres Noemi Glaeser Joseph Bonneau

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

theorem proving
mathematical proofs
theorem prover
formal proofs
data sets
equational theories
formal proof
database
similarity measure
data analysis
inference rules
cut elimination