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 w.r.t. coq/coq#17304 #191

Closed LasseBlaauwbroek closed 1 year ago

LasseBlaauwbroek commented 1 year ago

Should be backwards compatible.