- 博客(2)
- 收藏
- 关注
原创 Tamarin-prover的安装问题
安装遵从官网的提示装是最简单的,安装的前提是配置好HomeBrew.我们需要一台linux,我多次尝试后发现,windows上的wsl2也是可行的,安装过程是一样的.如果homebrew官网无法安装,强烈推荐清华大学镜像站安装homebrew(homebrew | 镜像站使用帮助 | 清华大学开源软件镜像站 | Tsinghua Open Source Mirror),不要在网上随便查帖子,不然homebrew很容易配错.brew doctor指令报的每个错我们都需要认真解决,不要想当然.
2022-01-17 17:54:57 980
原创 关于Isabelle中Prover显示inactive的问题
电脑莫名其妙就不能使用Isabelle软件了,windows提示I/O error:C:\Users\Administrator\AppData\Local\Temp\isabelle-Administrator\Option203104924重装系统无效,更改权限无效,更换电脑无效。最终发现方法竟然是把windows中的环境变量%TEMP%删除,Prover就是ready状态了。...
2021-07-20 20:06:43 213 3
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人