Towards Strong Higher-Order Automation for Fast Interactive Verification.

Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz, Uwe Waldmann

Browse the full CADE paper archive.