A real affine (23_4) configuration
An explicit construction of 23 distinct points and 23 distinct straight lines in the real affine plane, with exactly four selected incidences at every point and every line. Lean verifies the construction using rational coordinates interpreted in the real numbers.
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-09-08-000004
curl -X POST /api/v1/records/palomar/PALOMAR-2026-09-08-000004/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-09-08-000004/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'