A drag-and-drop proof tactic.

Pablo Donato Pierre-Yves Strub Benjamin Werner

Published in: CPP (2022)

Keyphrases

linear logic
theorem proving
theorem prover
mathematical proofs
databases
neural network
learning algorithm
knowledge representation
logic programs
supplier selection