Lf-lean: The frontier of verified software engineering - Tech Sentiments