Skip to content

Website simplification and Coq platform update.#162

Merged
Zimmi48 merged 1 commit intocoq:masterfrom Zimmi48:coq-platform-updateFeb 26, 2021

Commits

Commits on Feb 24, 2021