GitHub repository: rulrok/MetamathAnalysis
Primary language: Java
Created: 2016-06-30T03:09:01Z
Description: Graph based analysis of the Metamath database