07-300 Project: Mechanization and Automation of CALF (Cost Aware Logical Framework)