בעיות להתקין mathlib.prc
אני צריך ת´קובץ הזה לאיזה תוכנה שאני מאוד רוצה. כל פעם שאני מנסה להתקין את ה mathlib, הסנכרון נתקע, וצריך ריסט. ניסתי להביא את הקובץ ממקומות שונים (ז"א להוריד אותו מאתרים שונים), אבל תמיד יש את אותה בעיה בשלב הסנכרון. יש פתרון?