search

gmalecha / mirror-core

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

Plugin-based lemma reification #76

Closed gmalecha closed 8 years ago

gmalecha commented 8 years ago

This only needs to be a plugin because it needs to hook into the rest of the reification plugin.

gmalecha commented 8 years ago

Closed in a836335a567d404b25c6ab4f22444b0d3ee64606