Welcome to the documentation page

This was built using Lean 4 at commit b614ff1d12bc38f39077f9ce9f2d48b42c003ad0