Welcome to the documentation page

This was built using Lean 4 at commit 3f6c5f17db30c2a2dcaca1b9e9faec4e2cf04b95