GitHub repository: monocodus-demonstrations/mm0
Description: Metamath Zero specification language