GitHub repository: uds-psl/coq-library-undecidability
Primary language: Coq
Created: 2018-10-26T12:01:05Z
Description: A library of mechanised undecidability proofs in the Coq proof assistant.