Generic (second-class) polymorphic instantiation for rewriting

gmalecha / mirror-core

A framework for extensible, reflective decision procedures.

Other

19 stars 5 forks source link

Closed gmalecha closed 8 years ago

gmalecha commented 8 years ago

The idea is to use this to simplify the use of polymorphic lemmas.

gmalecha commented 8 years ago

Started with f922b8d7dc721ec4e184319c0288d441026b8818

gmalecha commented 8 years ago

Done in ce634c647cd59882527c42a69a683f687e4fbefe