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