This repository has been archived on 2026-01-12. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Dark-Alex-17 4999227e1b PAN-50 Created the TheoremRepository

2019-03-03 18:43:16 -07:00

..

scripts/mysql

PAN-50 Added the creation of the theorems table to the local_development.sql

2019-03-03 18:25:46 -07:00

src

PAN-50 Created the TheoremRepository

2019-03-03 18:43:16 -07:00

build.gradle

change git root

2019-03-03 16:13:24 -07:00