Four Decades of Mizar
Adam Grabowski, Artur Korniłowicz, Adam Naumowicz · Journal of Automated Reasoning · 2015
This special issue is dedicated to works related to Mizar , the theorem proving project started by Andrzej Trybulec in the 1970s, and other automated proof checking systems used for formalizing mathematics.