Publication | Closed Access
User Interaction with the Matita Proof Assistant
82
Citations
14
References
2007
Year
Artificial IntelligenceEngineeringAutomated ReasoningVerificationFormal MethodsProof AssistantAutomated ProofHuman-computer InteractionComputer ScienceMatita Proof AssistantFormal VerificationComputer-assisted Reasoning
| Year | Citations | |
|---|---|---|
Page 1
Page 1