GitHub repository: GinoGiotto/mm0
Description: Metamath Zero specification language