Topics Related to Certification, Groups and Lean: