Graph

less more | at revision 9: (0) -3 +3 +10 +30 +100 tip

Finish basic proving
Thu, 10 Mar 2016 18:22:56 +0000, by Steve Losh
Start on the logic database
Thu, 10 Mar 2016 15:14:48 +0000, by Steve Losh
Add variable/binding substitution
Wed, 09 Mar 2016 11:48:07 +0000, by Steve Losh

less more | at revision 9: (0) -3 +3 +10 +30 +100 tip