Formalized Mathematics, Volume 24

Volume 24, Number 1, March 2016

Volume 24, Number 2, June 2016

Volume 24, Number 3, September 2016

Volume 24, Number 4, December 2016

maintained by Schloss Dagstuhl LZI at University of Trier