Goal Translation for a Hammer for Coq (Extended Abstract)

by Łukasz Czajka, Cezary Kaliszyk
Published 2016-06-01

Computing with Classical Real Numbers

by Cezary Kaliszyk, Russell O'Connor
Published 2009-01-01

Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems

by Sebastiaan Joosten, Cezary Kaliszyk, Josef Urban
Published 2014-06-01

Teaching logic using a state-of-art proof assistant

by Maxim Hendriks, Cezary Kaliszyk, Femke van Raamsdonk, Freek Wiedijk
Published 2010-06-01

Hammering towards QED

by Jasmin C. Blanchette, Cezary Kaliszyk, Lawrence C. Paulson, Josef Urban
Published 2016-01-01