Arrangements of $6$ lines in the affine plane

Six lines intersecting at one point
Mik, via Wikimedia Commons. CC BY-SA 3.0.

The number of ways of arranging $6$ lines in the (affine) plane.

Value: $791$ Verified lower bound

Verified bounds

Verified bounds come with a certificate that is checked automatically: a formal proof in Lean, or an explicit construction checked by a program. Submit a certificate.

Updates from the literature