coq-library-undecidability

swMATH45302MaRDI QIDQ5972968FDOQ5972968

Author name not available (Why is that?)

Official website: https://github.com/uds-psl/coq-library-undecidability

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

Cited In (6)

• FRACTRAN
• Autosubst
• OEuf
• Template-Coq
• Trakhtenbrot’s Theorem in Coq
• MetaCoq

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