Open Access

Preface

Formalized Mathematics's Cover Image
Formalized Mathematics
Special Issue: 25 years of the Mizar Mathematical Library

Cite

Adam Grabowski
Institute of Informatics, University of Białystok, Akademicka 2, 15-267 Białystok, Poland
Yasunari Shidama
Shinshu University, Nagano, Japan
eISSN:
1898-9934
Language:
English
Publication timeframe:
Volume Open
Journal Subjects:
Mathematics, General Mathematics, Computer Sciences, other