Publication | Closed Access

Seventy-five problems for testing automatic theorem provers

EngineeringAutomated ReasoningVerificationProof SystemFormal MethodsProof AssistantAutomated ProofComputer ScienceAutomatic Theorem ProversFormal Verification