skill
المهنة
الوصف
آخر تحديث
rocq-simulate-author
مطوّرو البرمجيات
Create or update Rocq simulate files in this repository, including imports, executable definitions, and corresponding _eq lemmas with the project’s proof/admission conventions.
٨ فبراير ٢٠٢٦
rocq-build-troubleshoot
مطوّرو البرمجيات
Fast workflow to diagnose and fix Rocq/Coq compile errors in this repository, especially missing imports after links/simulate splits and per-file compile checks.
٨ فبراير ٢٠٢٦