Vibe-Proving-Skills

Vibe-Proving-Skills contient 1 skills collectées depuis tdwag123, avec une couverture métier par dépôt et des pages de détail sur le site.

Profil tdwag123 Voir sur GitHub

skills collectés

Stars

mis à jour

2026-04-23

Forks

Couverture métier

Développeurs de logiciels

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

lean4-guidelines

Développeurs de logiciels

Lean 4 formalization and proving workflow. Use for theorem formalization, definition design, proof construction, and proof repair with MCP self-check and Mathlib-first reuse.

2026-04-23