search

4ZP6Capstone2015 / ampersand

Development of the Ampersand generator software
http://wiki.tarski.nl/
GNU General Public License v3.0
0 stars 0 forks source link

Split into libraries #4

Open yuriy0 opened 8 years ago

yuriy0 commented 8 years ago

Split out proof utils into a seperate library. TypedSQL and Singletons probably aren't ready to be their own libraries.