However, it is not the same journal. MML (Mizar Mathematical Library) is continuously revised and the Journal of Formalized Mathematics ...
確定! 回上一頁