المهنة
مطوّرو البرمجيات
الوصف
Collaborative theorem proving orchestrator. Uses lc CLI for state, spawns parallel agents.
لغة النص الأصلي: الإنجليزية
آخر تحديث
mutable-state-inc/lean-collab
جمع SkillsMP عدد ٢ من skills من mutable-state-inc/lean-collab. افتح أي skill لمراجعة مصدره وتفاصيله.
- آخر نشاط مصدر مسجل
- آخر تحديث لفهرس SkillsMP
- skills مجمعة
- ٢
- نجوم GitHub
- ٧٢
- تفرعات GitHub
- ٢
Skills في هذا المستودع
١ فئات مهنية · 100% مصنفة
عرض ٢ من أصل ٢ skills مجمعة.
skill
المهنة
الوصف
آخر تحديث
المهنة
مطوّرو البرمجيات
الوصف
Mathlib reference for lean-prover agents. Use AFTER MATH CARD analysis.
لغة النص الأصلي: الإنجليزية
آخر تحديث
عرض ٢ من أصل ٢ skills مجمعة.