MSC > 68Vxx Computer science support for mathematical research and practice > 68V15 Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Videos linked to 68V15 Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
