opentheory-transform/src, branch master
Opentheory proof trace optimizer
Old uncommitted changes
2016-12-15T03:28:31+00:00
Jed Barber
jjbarber@y7mail.com
2016-12-15T03:28:31+00:00
5395287cc2f758d94bec8befe8956ba2dcc3940c
Reorganising source code
2014-04-08T05:06:40+00:00
Jed Barber
jjbarber@y7mail.com
2014-04-08T05:06:40+00:00
03d38eb3190eb5e51fb18847fe0792013285bde5