acornprover avatar

acorn-installation

Install and set up the Acorn theorem prover CLI. Use when the environment doesn't have Acorn install

作者 acornprover|オープンソース
Skill をダウンロード