Welcome to the documentation page

This was built using Lean 4 at commit 2525330ba93528bc5a7cf4a6368ed277369c0127