feat: add Pascal's theorem eval problem#408

Open

kim-em wants to merge 3 commits into

mainfrom

feat/pascal-pappus

Commits on Jun 9, 2026

feat: add Pascal and Pappus theorems eval problems (§146)

kim-em
and
claude
committed
fix: drop Pappus (junk-true vacuity: six collinear points collapse the meet points); keep Pascal
kim-em
committed
fix: actually remove the Pappus theorem body from the module (manifest already dropped)
kim-em
committed