Formalized Mathematics, Volume 26

Volume 26, Number 1, April 2018

Volume 26, Number 2, July 2018

Volume 26, Number 3, October 2018

Volume 26, Number 4, December 2018

a service of Schloss Dagstuhl - Leibniz Center for Informatics