search

gmalecha / mirror-core

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

Make unification an EProver #8

Closed gmalecha closed 10 years ago

gmalecha commented 10 years ago

At least to validate that the interface is correct.

gmalecha commented 10 years ago

Solved in e8457f9