lean4-elab-delab

Name: lean4-elab-delab
Brand: MuleRun
Author: Alok Singh

by Alok Singh

00Feb 6, 2026Visit Source

Lean 4 elaborators + delaborators/unexpanders. Use for DSLs that need type info or custom pretty output.