Picture for Simon Cruanes

Simon Cruanes

Superposition for Lambda-Free Higher-Order Logic

Add code
May 05, 2020
Figure 1 for Superposition for Lambda-Free Higher-Order Logic
Figure 2 for Superposition for Lambda-Free Higher-Order Logic
Viaarxiv icon

The Imandra Automated Reasoning System (system description)

Add code
Apr 21, 2020
Figure 1 for The Imandra Automated Reasoning System (system description)
Figure 2 for The Imandra Automated Reasoning System (system description)
Viaarxiv icon