coq-library-undecidability

coq-library-undecidability

https://github.com/uds-psl/coq-library-undecidability

Coq109

2 months ago

A library of mechanised undecidability proofs in the Coq proof assistant.

Search similar apps

coq

License

Mozilla Public License 2.0

Share

A library of mechanised undecidability proofs in the Coq proof assistant.

Creator

uds-psl

Related apps