coq-library-undecidability

swMATH45302MaRDI QIDQ5972968FDOQ5972968

Author name not available (Why is that?)

Source code repository: https://github.com/uds-psl/coq-library-undecidability

Cited In (1)

• Trakhtenbrot’s Theorem in Coq

This page was built for software: coq-library-undecidability