Giters

vveleva / stronglemmas

Database for math theorems, definitions, lemmas, etc.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

StrongLemmas

Database for math theorems, definitions, lemmas, etc.

About

Database for math theorems, definitions, lemmas, etc.

Languages

Language:Ruby 85.4%Language:HTML 11.0%Language:JavaScript 2.3%Language:CSS 1.4%