It is really useful for mathematicians (or math students) use a proof assistant software?
A certain compound contains Calcium, Carbon and Nitrogen in the mass ratio 20:6:14. Then what is its empirical formula?
זה באמת שימושי למתמטיקאים (או סטודנטים למתמטיקה) להשתמש בתוכנת הוכחה?
תרכובת מסוימת מכילה סידן, פחמן וחנקן ביחס מסה 20:6:14. אז מהי הנוסחה האמפירית שלו?