/semestr-3/pf/lista4/

• ../
• lista4.ml
• logic