/rewriter

A plugin for specialized reflective rewriting of non-dependent terms with let-binder-lifting via NbE

Primary LanguageCoqOtherNOASSERTION

Watchers