/Semestr 3/pf/lista4/
../
lista4.ml
logic