xgqt@gentoo.org Maciej Barć Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. https://github.com/metamath/metamath-exe/issues metamath/metamath-exe