TopRank Skills
FR
English 简体中文 français

Rechercher

PythonReactSEOPDF

acornprover AI Skills

GitHub ↗

Explorez les skills IA publiés de acornprover et consultez leurs instructions source.

Statistiques de l’auteur

Skills indexés

2

Étoiles des dépôts des skills indexés

102

Forks du dépôt

34

Moyenne des étoiles par skill indexé

51

Les étoiles d’un dépôt peuvent se répéter entre ses skills.

Catégories populaires

tools knowledge base1devops knowledge base1testing security knowledge base1research knowledge base1blockchain knowledge base1

Indexation récente

explicate2026-01-20acorn-installation2026-01-20

2 skills

Explorer

GitHub

explicate

acornprover

Expand the valid but complicated proofs in a module to have more detailed steps, so that they are reprovable.

☆ 51Voir le skill
GitHub

acorn-installation

acornprover

Install and set up the Acorn theorem prover CLI. Use when the environment doesn't have Acorn installed or when the user needs to set up Acorn for the first time.

☆ 51Voir le skill

Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.