https://github.com/uds-psl/coq-library-undecidability
History
Tip revision: 32fa1f0f91fa27337bff156ece5fc8e1c2be0fb9 authored by Yannick Forster on 24 November 2020, 12:45:44 UTC
Cleanup coqdoc and _CoqProject (#97)
Tip revision: 32fa1f0
File Mode Size
workflows

back to top