Pages that link to "Item:Q5717439"
From MaRDI portal
The following pages link to Mechanizing Mathematical Reasoning (Q5717439):
Displaying 12 items.
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
- The polarized \(\lambda\)-calculus (Q1744450) (← links)
- Automated search for Gödel's proofs (Q1772785) (← links)
- Human-centered automated proof search (Q2069871) (← links)
- Proofs, Upside Down (Q2937799) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- Proof-Search in Natural Deduction Calculus for Classical Propositional Logic (Q3455774) (← links)
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (Q5001547) (← links)
- Proofs as Objects (Q5057055) (← links)
- A User-friendly Interface for a Lightweight Verification System (Q5170234) (← links)
- The Cantor–Bernstein theorem: how many proofs? (Q5204798) (← links)
- Partial proof terms in the study of idealized proof search (Q6648177) (← links)
