Welcome to the documentation page

This was built using Lean 4 at commit 6caaee842e9495688c1567e78c0e68dbb96942aa