issues
search
mit-plv
/
rewriter
Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
Other
22
stars
20
forks
source link
Add `related_hetero_and_Proper`
#128
Closed
JasonGross
closed
10 months ago
JasonGross
commented
10 months ago
For
https://github.com/mit-plv/fiat-crypto/pull/1761
For https://github.com/mit-plv/fiat-crypto/pull/1761