Journal of Formalized Mathematics
Journal of Formalized Mathematics Journal of Formalized Mathematics is an electronic counterpart of Formalized Mathematics. However it is not the same journal. MML (Mizar Mathematical Library) is continuously revised and the Journal of Formalized Mathematics represents the updated version, while Formalized Mathematics - the state in the time of the publication. Both journals contain papers which ...
|
Algebra@