The following pages link to (Q2723415):
Displaying 7 items.
- Resolution and type theory (Q1183555) (← links)
- Translation of resolution proofs into short first-order proofs without choice axioms (Q2486578) (← links)
- Certifying term rewriting proofs in ELAN (Q2841249) (← links)
- Dependently Typed Programming Based on Automated Theorem Proving (Q2908568) (← links)
- (Q3086772) (← links)
- Automating Proofs in Category Theory (Q3613422) (← links)
- (Q4428316) (← links)