Pages that link to "Item:Q1373302"
From MaRDI portal
The following pages link to Abstract proof checking: An example motivated by an incompleteness theorem (Q1373302):
Displaying 4 items.
- Automated search for Gödel's proofs (Q1772785) (← links)
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant (Q2051568) (← links)
- A formally verified abstract account of Gödel's incompleteness theorems (Q2305432) (← links)
- Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version (Q6156642) (← links)
