Generic Math Template Library (forked from http://ggt.sourceforge.net/)
Why do you think that https://github.com/egladysh/metamath is a good alternative to GMTL
Generic Math Template Library (forked from http://ggt.sourceforge.net/)
Why do you think that https://github.com/egladysh/metamath is a good alternative to GMTL