A drag-and-drop proof tactic.

Pablo Donato Pierre-Yves Strub Benjamin Werner

Published in: CoRR (2022)

Keyphrases

theorem proving
fluid dynamics
real time
artificial intelligence
information systems
optimal solution
theorem prover
supplier selection