Three questions, run through a proof-checking system. Tap one and watch where it lands — including the failure that never announces itself.
Pick a question
Pick a question above to run it through the pipeline.
Illustrative walkthrough of the approach described in Edition 307. Not a real proof engine — nothing you tap leaves this page.