Module IV·3 articles·~18 min

Proof Theory

Natural deduction, sequent calculus, and the cut-elimination theorem

Make a podcast about this module

Pick voices and format — AI generates the episode

§ 01 — Articles

§ 02 — Practice

Test what you've learned in this module.

Discuss with AI

An AI tutor that knows this module.