search

Matt-Gracz / ManipuLogic_PROTOTYPE

An automated "logic calculator" written in Python. Future features: 1st/2nd order logic, automate proofs, etc...
GNU General Public License v3.0
0 stars 0 forks source link

Set up pre-GitHub SCCS #9

Closed Matt-Gracz closed 5 years ago

Matt-Gracz commented 5 years ago

Set up pre-GitHub SCCS so I can track local edits more easily and add collaborators in the future.

Matt-Gracz commented 5 years ago

Using SourceTree locally to commit to Git and track changes.