المهنة
مطوّرو البرمجيات
الوصف
Generate an RFC 2119-conformant specification document and a compiling Lean 4 formalization from documentation URLs or file paths.
لغة النص الأصلي: الإنجليزية
آخر تحديث
NyxFoundation/docs2formalspec
جمع SkillsMP عدد ١ من skills من NyxFoundation/docs2formalspec. افتح أي skill لمراجعة مصدره وتفاصيله.
- آخر نشاط مصدر مسجل
- آخر تحديث لفهرس SkillsMP
- skills مجمعة
- ١
- نجوم GitHub
- ١٨
- تفرعات GitHub
- ٠
Skills في هذا المستودع
١ فئات مهنية · 100% مصنفة
عرض ١ من أصل ١ skills مجمعة.
skill
المهنة
الوصف
آخر تحديث
عرض ١ من أصل ١ skills مجمعة.