8000 feature(coq): composition of installed theories by Alizter · Pull Request #7047 · ocaml/dune · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feature(coq): composition of installed theories#7047

Merged
Alizter merged 7 commits intoocaml:mainfrom
Alizter:ps/rr/feature_coq___composition_of_installed_theories
Apr 20, 2023
Merged

feature(coq): composition of installed theories#7047
Alizter merged 7 commits intoocaml:mainfrom
Alizter:ps/rr/feature_coq___composition_of_installed_theories

Commits

Commits on Apr 20, 2023
0