The following pages link to Hilbert's Tenth Problem in Coq (Q5089029):
Displayed 5 items.
- Formalization of the computational theory of a Turing complete functional language model (Q2102949) (← links)
- Trakhtenbrot’s Theorem in Coq (Q5048993) (← links)
- (Q5094119) (← links)
- (Q5094147) (← links)
- Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version (Q6156642) (← links)