Recent user activities on OpenAxiom