Untangling mechanized proofs.

Clément Pit-Claudel

Published in: SLE (2020)

Keyphrases

theorem proving
theorem prover
formal proofs
mathematical proofs
equational theories
computer vision
image processing
data structure
artificial neural networks
decision procedures