Stateless HOL

by Freek Wiedijk
Published 2011-03-01

Preface: Twenty Years of the QED Manifesto

by John Harrison, Josef Urban, Freek Wiedijk
Published 2016-01-01

Teaching logic using a state-of-art proof assistant

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

Pure Type Systems without Explicit Contexts

by Herman Geuvers, Robbert Krebbers, James McKinna, Freek Wiedijk
Published 2010-09-01