There is a Journal of Formalized Mathematics connected with Mizar project
|
1 | [made Community Wiki] | ||
|
|
||||
|
|
1 | [made Community Wiki] | ||
|
There is a Journal of Formalized Mathematics connected with Mizar project |
||||
