Commit Log
| commit | description | author | date |
|---|---|---|---|
| 5bb73a585f2c | Finish basic proving | Steve Losh | 2016-03-10 |
| 1340243d4843 | Start on the logic database | Steve Losh | 2016-03-10 |
| 49191daa42d0 | Add variable/binding substitution | Steve Losh | 2016-03-09 |
| 52045b30aab0 | Add a couple more unification tests | Steve Losh | 2016-03-09 |
| Loading... | |||