Skip to content

doc(coq): Add documentation for composition with installed theories#7384

Merged
Alizter merged 1 commit intoocaml:mainfrom Alizter:ps/branch/doc_coq___add_documentation_for_composition_with_installed_theoriesMay 2, 2023
+121-47

Commits

Commits on May 2, 2023