Skip to main content

Browse the archive

https://github.com/uds-psl/coq-library-undecidability
07 June 2021, 02:21:05 UTC
Branch name Release name Target Message Date
refs/tags/trakhtenbrot_ijcar trakhtenbrot_ijcar 707e41f Referenced by the IJCAR 2020 paper 27 October 2020, 11:00:08 UTC
refs/tags/H10-LMCS H10-LMCS c74841f Repository version corresponding to the LMCS submission of the H10 paper 07 March 2020, 12:17:29 UTC
back to top