STEVE JEFFREY TUENO FOTSO

Please, consider: event_b_specs_from_ontologies_ref_1 instead of eventbspecsfromontologiesref1 , rule_9_10 instead of rule910, Constant_Set instead of ConstantSet, Constant_isInvolvedIn_LogicFormulas instead of ConstantisInvolvedInLogicFormulas, and o_AS_c instead of oASc. I think there is a problem with the text editor when applying italic formatting: the '_' are deleted.

Please, consider: event_b_specs_from_ontologies_ref_1 * instead of eventbspecsfromontologiesref1 , rule_9_10 * instead of rule910, Constant_Set instead of ConstantSet, Constant_isInvolvedIn_LogicFormulas * instead of ConstantisInvolvedInLogicFormulas, and o_AS_c * instead of oASc. I think there is a problem with the text editor when applying italic formatting: the '_' are deleted.

Please, consider: event_b_specs_from_ontologies_ref_1 instead of eventbspecsfromontologiesref1 , rule_9_10 instead of rule910, Constant_Set instead of ConstantSet, Constant_isInvolvedIn_LogicFormulas instead of ConstantisInvolvedInLogicFormulas, and o_AS_c instead of oASc. I think there is a problem with the text editor when applying italic formatting: the '_' are deleted.

Please, consider: event_b_specs_from_ontologies_ref_1 instead of eventbspecsfromontologiesref1 , rule_9_10 instead of rule910, Constant_Set instead of ConstantSet, Constant_isInvolvedIn_LogicFormulas instead of ConstantisInvolvedInLogicFormulas, and o_AS_c instead of oASc. I think there is a problem with the text editor when applying italic formatting: the '_' are deleted.

Please, consider: event_b_specs_from_ontologies_ref_1 instead of eventbspecsfromontologiesref1 , rule_9_10 instead of rule910, Constant_Set instead of ConstantSet, Constant_isInvolvedIn_LogicFormulas instead of ConstantisInvolvedInLogicFormulas, and o_AS_c instead of oASc. I think there is a problem with the text editor when applying italic formatting: the '_' are deleted.

Problem with the Rodin proof generator