isabelle不知道是干嘛的,做atp的,官网为
https://isabelle.in.tum.de/website-Isabelle2021/index.html
现在是下载完之后不知道怎么运行,也不知道是什么语言写的,打算转lean了,国内这方面资料太少了,有空写个中文的
isabelle不知道是干嘛的,做atp的,官网为
https://isabelle.in.tum.de/website-Isabelle2021/index.html
现在是下载完之后不知道怎么运行,也不知道是什么语言写的,打算转lean了,国内这方面资料太少了,有空写个中文的