Welcome to the documentation page

This was built using Lean 4 at commit 5cc0c3f145ffa623a617ca31387d7f589802c1d3