openmath-cd-analysis This is an adhoc-repo facilitating the analysis of some formal aspects of https://github.com/OpenMath/CDs/.