search

uds-psl / coq-library-undecidability

A library of mechanised undecidability proofs in the Coq proof assistant.
Mozilla Public License 2.0
111 stars 30 forks source link

Adapt to coq/coq#18973. #223

Closed rlepigre closed 5 months ago

proux01 commented 5 months ago

Upstream merged, please merge