metamath v1.0 Release Notes

Release Date: 2018-05-03 // almost 6 years ago