المهنة
غير مصنف
الوصف
Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching mathlib for lemmas, formalizing mathematics in Lean, finding a counterexample to, refuting, or disproving…
لغة النص الأصلي: الإنجليزية
آخر تحديث