Report - Petar Vukmirović Implementation of Lambda-Free Higher ...aitp-conference.org/2018/slides/hoE.pdf · Higher-Order Superposition. ... Automatic theorem proving ‒ challenge HOL ...

Please pass captcha verification before submit form