coq-library-undecidability

MaRDI QIDQ5972968swMATHFDO

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
• MetaCoq
• Trakhtenbrot’s Theorem in Coq

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