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.

atusa17 4d0658a268 PAN-52 Added findByName to the TheoremRepository, and to the TheoremController as well as the corresponding tests, and a foreign key mapping from the proofs table to the corresponding theorem in the theorems table

2019-03-14 12:28:59 -06:00

..

loaddb.bat

change git root

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

loaddb.sh

change git root

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

local_development.sql

PAN-52 Added findByName to the TheoremRepository, and to the TheoremController as well as the corresponding tests, and a foreign key mapping from the proofs table to the corresponding theorem in the theorems table

2019-03-14 12:28:59 -06:00