Skip to content

coq-albert: add dependencies on coq-list-string and coq-moment#1254

Merged
clarus merged 1 commit intocoq:masterfrom arvidj:coq-albert-update-dependenciesMay 4, 2020