The following pages link to (Q3345811):
Displaying 11 items.
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- The problem of induction (Q1319388) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- Theorem proving method and the computer science (Q2770773) (← links)
- (Q3012165) (← links)
- Simplify: a theorem prover for program checking (Q3546294) (← links)
- Machine Checking Proof Theory: An Application of Logic to Logic (Q3601798) (← links)
- (Q3819996) (← links)
- (Q4364538) (← links)
- (Q4518869) (← links)
- Computer Aided Verification (Q5716570) (← links)