tag:github.com,2008:https://github.com/Peter-H-Meadows/GtMetamath/releases Release notes from GtMetamath 2025-04-10T20:50:24Z