adapt to coq/coq#18563 - Githubissues

mit-plv / rewriter

Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting

Other

22 stars 20 forks source link

Closed andres-erbsen closed 8 months ago