Title: Introduction to mechanized accounts