issues
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 for coq/coq#18563
#217
Closed
andres-erbsen
closed
9 months ago