The following pages link to (Q3338232):
Displaying 9 items.
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- On connections and higher-order logic (Q908896) (← links)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- A compact representation of proofs (Q1102282) (← links)
- TPS: A theorem-proving system for classical type theory (Q1923825) (← links)
- (Q3367301) (← links)
- (Q3430691) (← links)
- Presenting intuitive deductions via symmetric simplification (Q6488543) (← links)
- Toward mechanical methods for streamlining proofs (Q6488544) (← links)