https://github.com/uds-psl/coq-library-undecidability
History
Tip revision: ae77c0b38dbafdd9dbc15efdae68a3b1ef5ef7ef authored by Dominique Larchey-Wendling on 07 May 2021, 10:19:59 UTC
typo in summary.v
Tip revision: ae77c0b
File Mode Size
workflows

back to top