GitHub repository: BruunoMarques/Ugly-Fruit
Description: Project developed under Formal Methods course