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

Published 20 hours ago • verified publisher icon leanprover-community

added subsections to make it easier to eyeball content

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

Small addition to improve readability while reading the latest book.

ydewit avatar Jul 04 '24 18:07 ydewit