ConCert67
A framework for smart contract verification in Coq
126
Stars
67/100
Confiance
Catégorie: web3-analyticsAudit
Annuaire de skills
Découvrez des skills réutilisables pour les AI agents.
Recherchez de vrais skills GitHub par tâche et vérifiez Stars, confiance, audit, catégorie et chemin d’installation avant de les utiliser.
Chaque recommandation reste clairement reliée à son dépôt, son audit et son chemin d’installation.