مستودع GitHub
acl2-jupyter
يحتوي acl2-jupyter على 1 من skills المجمعة من jimwhite، مع تغطية مهنية على مستوى المستودع وصفحات skill داخل الموقع.
skills مجمعة
1
Stars
14
محدث
2026-02-24
Forks
3
التغطية المهنية
1 فئات مهنية · 100% مصنفة
مستكشف المستودعات
Skills في هذا المستودع
منشئ/مستودع/skill
skill
المهنة
الوصف
آخر تحديث