Editorial about PROOFS 2021.

Published in: J. Cryptogr. Eng. (2024)

Keyphrases

special issue
theorem proving
mathematical proofs
theorem prover
formal proofs
equational theories
medical images
formal proof
databases
neural network
social networks
feature extraction
optimal solution
relational databases
computer programs
interactive theorem proving