acornprover AI Skills

GitHub ↗

浏览 acornprover 维护的已发布 AI 技能，比较用途与说明，并通过来源仓库了解安装方式。

作者统计

已收录技能

2

收录技能的仓库 Stars 合计

102

仓库 Forks

34

平均每个技能的仓库 Stars

51

同一仓库中的多个技能可能共享 Stars，合计包含重复仓库数据。

全部技能

ACGitHub

explicate

acornprover

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

☆ 51查看技能 ↗

ACGitHub

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.

☆ 51查看技能 ↗

默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。