cora.core ========= .. automodule:: cora.core