Metamath program - source code for the Metamath executable - View it on GitHub