GitHub repository: metamath/metamath-book
Primary language: TeX
Created: 2019-01-20T23:55:39Z
Description: Source of metamath book