Formalized Mathematics, Volume 22

Volume 22, Number 1, March 2014

Volume 22, Number 2, June 2014

Special Issue: 25 years of the Mizar Mathematical Library

Volume 22, Number 3, September 2014

Volume 22, Number 4, December 2014

maintained by Schloss Dagstuhl LZI, founded at University of Trier