GitHub repository: vveleva/stronglemmas
Primary language: Ruby
Created: 2018-12-07T21:23:16Z
Description: Database for math theorems, definitions, lemmas, etc.