Skip to content

Remove support for untested versions of Coq.#179

Merged
spitters merged 1 commit intocoq-community:masterfrom anandadalton:supported_versionsMay 9, 2023
+3-6

Commits

Commits on May 4, 2023