8 citations · 15 across the 3 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 1 cited
Superposition for Lambda-Free Higher-Order Logic
Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes +1
We introduce refutationally complete superposition calculi for intentional and extensional clausal -free higher-order logic, two formalisms that allow partial application and ap…
cs.LO2020
The Imandra Automated Reasoning System (system description)
Grant Olney Passmore, Simon Cruanes, Denis Ignatovich +6
We describe Imandra, a modern computational logic theorem prover designed to bridge the gap between decision procedures such as SMT, semi-automatic inductive provers of the Boyer-M…