Topics Related to Certification and Lean: