Add ProofKit to ADT migration guide - #305

Merged

eluce2 merged 6 commits into

mainfrom

docs/migrate-to-adt-prompt

Sep 22, 2026

Vercel / Vercel Preview Comments succeeded Sep 20, 2026 in 0s

✅ No unresolved feedback

💬 0 unresolved, 0 resolved. Go to feedback

View more details on Vercel