Welcome to the documentation page

This was built using Lean 4 at commit 6d22e0e5cc5a4392466e3d6dd8522486d1fd038b