A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Four Decades of Mizar
2015
Journal of automated reasoning
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. A. Grabowski et al. -It would facilitate detection of errors, verification of references, elimination of repeated theorems, etc., -It would open a way to machine assisted education of the art of proving theorems, -It would enable automated generation of input into typesetting systems. Mizar 1
doi:10.1007/s10817-015-9345-1
fatcat:wclwjz6eqzbvbis7w5tdolu5n4