../

Software Logic Midterm Project

LTL in lean?