LeanBlog
A calm home for Lean-aware writing.
Recent posts
-
How a LeanBlog post is built
2 min read -
Markdown, math, and diagrams
1 min read -
Linking across LeanBlog modules
1 min read -
A LeanBlog post
1 min read -
Sum, a small algebra of choices
1 min read -
Using Sum in another post
1 min read