As a mathematician/student of math, which topics have you found most useful in everyday life?
It is really useful for mathematicians (or math students) use a proof assistant software?
כמתמטיקאי/סטודנט למתמטיקה, אילו נושאים מצאתם שימושיים ביותר בחיי היומיום?
זה באמת שימושי למתמטיקאים (או סטודנטים למתמטיקה) להשתמש בתוכנת הוכחה?