Volume 55, Issue 3

October 2015

Special Issue: 40 Years of Mizar and Beyond

Issue Editors:

10 articles in this issue

Andrzej Trybulec – in Memoriam
Krystyna Trybulec Kuperberg
OriginalPaper 01 September 2015 Pages: 187 - 190
Four Decades of Mizar
Adam Grabowski
Artur Korniłowicz
Adam Naumowicz
OriginalPaper Open access 15 September 2015 Pages: 191 - 198
Reconsidering Pairs and Functions as Sets
Chad E. Brown
OriginalPaper 18 September 2015 Pages: 199 - 210
Mechanizing Complemented Lattices Within Mizar Type System
Adam Grabowski
OriginalPaper Open access 18 June 2015 Pages: 211 - 221
Formal Proofs of Hypergeometric Sums
John Harrison
OriginalPaper 15 September 2015 Pages: 223 - 243
MizAR 40 for Mizar 40
Cezary Kaliszyk
Josef Urban
OriginalPaper Open access 21 July 2015 Pages: 245 - 256
Definitional Expansions in Mizar
Artur Korniłowicz
OriginalPaper Open access 30 June 2015 Pages: 257 - 268
Evidence Algorithm and Inference Search in First-Order Logics
Alexander Lyaletski
OriginalPaper 10 September 2015 Pages: 269 - 284
Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver
Adam Naumowicz
OriginalPaper Open access 16 June 2015 Pages: 285 - 294
Improving Legibility of Formal Proofs Based on the Close Reference Principle is NP-Hard
Karol Pąk
OriginalPaper Open access 12 July 2015 Pages: 295 - 306

Search