Publication | Closed Access

A survey of mechanical support for formal reasoning

EngineeringReasoning SystemAutomated ReasoningVerificationFormal MethodsFormal Mathematical ReasoningComputer ScienceMechanical SupportFormal VerificationComputer-assisted Reasoning