search

gmalecha / mirror-core

A framework for extensible, reflective decision procedures.
Other
19 stars 5 forks source link

Make it easier to use Rtac syntax #69

Closed gmalecha closed 8 years ago

gmalecha commented 8 years ago

Lots of updates in 2486004a570174c36d97b069c80060180795448c. Still not perfect.

gmalecha commented 8 years ago

This is a reasonable first approximation. I'm opening a new issue for the next iteration.