MizAR 40 for Mizar 40
Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-015-9330-8
Full Text
Open PDFAbstract
Available in full text
Date
July 21, 2015
Authors
Publisher
Springer Science and Business Media LLC
Available in full text
July 21, 2015
Springer Science and Business Media LLC