Skip to content

[core-dev] coq-stdlib install, take 2#3252

Merged
proux01 merged 1 commit intocoq:masterfrom proux01:stdlib_install_take2Dec 13, 2024

Commits

Commits on Dec 13, 2024