Z Anjo Petković o dokazovalnih pomočnikih v matematiki. #MetaPHoDcast Anja Petković je doktorska študentka na Fakulteti za matematiko in fiziko. Poznate jo lahko...