GitHub repository: GinoGiotto/metamath-exe
Primary language: C
Description: Metamath program - source code for the Metamath executable