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
Use docker in CI
#211
Closed
yforster
closed
1 year ago