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

Published 20 hours ago • verified publisher icon leanprover-community

[WIP] Add environment docs

Open bollu opened this issue 2 years ago • 0 comments
trafficstars

bollu avatar May 01 '23 19:05 bollu