The following pages link to (Q2729073):
Displaying 8 items.
- PROSPER (Q22347) (← links)
- Providing a formal linkage between MDG and HOL (Q878110) (← links)
- Integrating external deduction tools with ACL2 (Q1006728) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- Verification of clock synchronization algorithms: experiments on a combination of deductive tools (Q2642981) (← links)
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon (Q2655321) (← links)
- Linear Arithmetic with Stars (Q3512499) (← links)
- Combining Isabelle and QEPCAD-B in the Prover’s Palette (Q5505513) (← links)