metamath v1.0 Release Notes

Release Date: 2018-05-03 // about 3 years ago