Support for converting exprs into lemmas

gmalecha / mirror-core

A framework for extensible, reflective decision procedures.

Other

19 stars 5 forks source link

Open gmalecha opened 10 years ago

gmalecha commented 10 years ago

Fixed: 0706e5ebd9d21e6f84a6f9074ef37b3de62e8fdc

gmalecha commented 10 years ago

This is the weakening lemma, not the conversion lemma!