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

Published 20 hours ago • verified publisher icon leanprover-community

Fix typo in tactics chapter

Open ineol opened this issue 1 year ago • 0 comments
trafficstars

ineol avatar May 08 '24 13:05 ineol