Preface. - Grabowski, Adam; Shidama, Yasunari (Formalized Mathematics, 2014)