prove

Name: prove
Author: namesreallyblank

namesreallyblank/clorchGitHub: namesreallyblank/clorch Fonte: namesreallyblank/clorch

Dimostrazione formale di teoremi con fasi di ricerca, test e verifica

cached·namesreallyblank·prove

0Installazioni·0Tendenza·@namesreallyblank

Installazione

GitHub: namesreallyblank/clorch

$npx skills add https://github.com/namesreallyblank/clorch --skill prove

Come installare prove

Installa rapidamente la skill AI prove nel tuo ambiente di sviluppo tramite riga di comando

Apri il terminale: Apri il tuo terminale o strumento da riga di comando (Terminal, iTerm, Windows Terminal, ecc.)
Esegui il comando di installazione: Copia ed esegui questo comando: npx skills add https://github.com/namesreallyblank/clorch --skill prove
Verifica l'installazione: Dopo l'installazione, la skill verrà configurata automaticamente nel tuo ambiente AI di coding e sarà pronta all'uso in Claude Code, Cursor o OpenClaw

Fonte: namesreallyblank/clorch.

SKILL.md

Visualizza raw

For mathematicians who want verified proofs without learning Lean syntax.

First run of /prove will download Mathlib (2GB) via lake build.

Dimostrazione formale di teoremi con fasi di ricerca, test e verifica Fonte: namesreallyblank/clorch.

Fatti (pronti per citazione)

Campi e comandi stabili per citazioni AI/ricerca.

Comando di installazione: npx skills add https://github.com/namesreallyblank/clorch --skill prove
Fonte: namesreallyblank/clorch
Categoria: </>Sviluppo
Verificato: —
Prima apparizione: 2026-02-01
Aggiornato: 2026-03-10
URL: https://www.learn-skills.dev/it/skills/namesreallyblank/clorch/prove

Browse more skills from namesreallyblank/clorch

Risposte rapide

Che cos'è prove?

Dimostrazione formale di teoremi con fasi di ricerca, test e verifica Fonte: namesreallyblank/clorch.

Come installo prove?

Apri il tuo terminale o strumento da riga di comando (Terminal, iTerm, Windows Terminal, ecc.) Copia ed esegui questo comando: npx skills add https://github.com/namesreallyblank/clorch --skill prove Dopo l'installazione, la skill verrà configurata automaticamente nel tuo ambiente AI di coding e sarà pronta all'uso in Claude Code, Cursor o OpenClaw