Publication | Closed Access
leanCoP: lean connection-based theorem proving
86
Citations
12
References
2003
Year
EngineeringAutomated ReasoningProof ComplexityVerificationFormal MethodsProof AssistantLean Connection-based TheoremProof TheoryComputer ScienceFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1