Exécutez n'importe quel Skill dans Manus
en un clic
en un clic
Exécutez n'importe quel Skill dans Manus en un clic
CommencerDépôt GitHub
rocq-of-rust
rocq-of-rust contient 2 skills collectées depuis formal-land, avec une couverture métier par dépôt et des pages de détail sur le site.
skills collectés
2
Stars
1.1k
mis à jour
2026-02-08
Forks
44
Couverture métier
1 catégories métier · 100% classifié
explorateur de dépôts
Skills dans ce dépôt
créateur/dépôt/skill
skill
métier
description
mis à jour
rocq-simulate-author
Développeurs de logiciels
Create or update Rocq simulate files in this repository, including imports, executable definitions, and corresponding _eq lemmas with the project’s proof/admission conventions.
2026-02-08
rocq-build-troubleshoot
Développeurs de logiciels
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.
2026-02-08