Export formalizations to the workbook context. Exercise author should be able to set the identifier of the formula and whether it is an axiom.
Export formalizations to the workbook context.
Exercise author should be able to set the identifier of the formula and whether it is an axiom.