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

removed many 8.17 warnings #184

Closed mrhaandi closed 1 year ago

mrhaandi commented 1 year ago