GitHub repository: luis140219/metamath
Primary language: C
Created: 2016-03-19T15:31:40Z
Description: Metamath repository with source files, personal .mm file and generated HTML files.