Elenchus

Paste-text reasoning analyzer — coming soon. This page is a scaffolding placeholder; the analyzer UI ships in a later task.