Welcome to the documentation page

This was built using Lean 4 at commit daa22187642d4cf6954c39a23eab20d8a8675416