Formalized Mathematics, Volume 25

Volume 25, Number 1, March 2017

Volume 25, Number 2, July 2017

Volume 25, Number 3, October 2017

Volume 25, Number 4, December 2017

a service of Schloss Dagstuhl - Leibniz Center for Informatics