Skip to content

Print some versions to check coq is installed#12

Draft
davidot wants to merge 30 commits intomacosfrom macos-fix-1

Commits

Commits on Nov 2, 2022