Mac上使用VScode运行Prover9
如何在Mac上使用VScode运行Prover9背景:mac上安装不了可视化Prover9,使用命令行又操作繁琐,于是乎另辟蹊径——使用VScode运行.p9文件。操作步骤1.下载Prover9(LADR-2009-11A.tar.gz)链接:https://www.cs.unm.edu/~mccune/prover9/download/解压并放入此路径下:Users/这里填你的用户名/2.打开终端(terminal)cd 到 Users/你的用户名/LADR-2009-11A即Navig
原创
2021-11-03 09:11:44 ·
905 阅读 ·
0 评论