GitHub repository: metamath/metamath-exe
Primary language: C
Created: 2019-02-11T04:20:38Z
Description: Metamath program - source code for the Metamath executable