Proof language of logic-online