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

maintained by Schloss Dagstuhl LZI, founded at University of Trier