Automated Constructivization of Proofs.

Frédéric Gilbert

Published in: FoSSaCS (2017)

Keyphrases

automated theorem provers
semi automated
website
data driven
theorem prover
theorem proving
computer assisted
computer programs
mathematical proofs