Hello from Lean

A regular blog post. Normal rendering applies here.