Journal ArticleOPEN ACCESS

Four Decades of Mizar: Foreword

Journal of Automated Reasoning (2015) 55(3) 191-198
DOI: 10.1007/s10817-015-9345-1
57Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

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.

Author supplied keywords

Cite

CITATION STYLE

APA

Grabowski, A., Korniłowicz, A., & Naumowicz, A. (2015). Four Decades of Mizar: Foreword. Journal of Automated Reasoning, 55(3), 191–198. https://doi.org/10.1007/s10817-015-9345-1

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free