Welcome to the documentation page

This was built using Lean 4 at commit 306f36116535cd226329f562b4675b8b6dbf948c