Welcome to the documentation page

This was built using Lean 4 at commit e9e858a4484905a0bfe97c4f05c3924ead02eed8