lean4-metaprogramming-book icon indicating copy to clipboard operation
lean4-metaprogramming-book copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Explain `toExpr` and `toTypeExpr`

Open arthurpaulino opened this issue 3 years ago • 0 comments
trafficstars

arthurpaulino avatar Aug 22 '22 16:08 arthurpaulino