edggy / pyLemma

A formal proof creating tool in Python
MIT License
1 stars 2 forks source link

Combine server and database #4

Open Hubert51 opened 7 years ago

Hubert51 commented 7 years ago

The server part and database system part were finished by different developers. So in the next month, I will try to combine them together. Both of them are written by python. So I think this work is not so hard! I need to know what happen in the server part and then I can write the code to connect them. The server get the homework file include name, RIN. The server will send to the database. Database system will record these kind of the data.