uds-psl / coq-library-undecidabilityLinks

A library of mechanised undecidability proofs in the Coq proof assistant.
119Updated last month

Alternatives and similar repositories for coq-library-undecidability

Users that are interested in coq-library-undecidability are comparing it to the libraries listed below

Sorting: