EagleoutIce/latex-lambda-calculus-visualizer

Allow to perform alpha-conv in rewrite rules

Opened this issue 2 years ago · 0 comments

EagleoutIce commented 2 years ago

Allow to perform alpha-conv in rewrite rules