Welcome to the documentation page

This was built using Lean 4 at commit 128a1e6b0a82718382f9c39c79be44ff3284547c