1 paper · 1 filter
Ahmed Bhayat, Martin Suda
The support for higher-order reasoning in the Vampire theorem prover has recently been completely reworked. This rework consists of new theoretical ideas, a new implementation, and…