System for Automated Deduction (SAD): A Tool for Proof Verification.

Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich

Browse the full CADE paper archive.