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 2 months ago • 0 comments

ineol avatar May 08 '24 13:05 ineol