我安装了Isabelle2015并运行了Isabelle2015/Isabelle2015。$ ./isabelle tptp_isabelle 10 foo.tptp/home/asr/.isabelle/Isa
浏览 0提问于2016-01-29得票数 1
回答已采纳
我在C：\ Isabelle2021 \Isabelle2021\Isabelle2021中安装了Isabelle2021，在C：\Homes 21中安装了MMT (来自)，我还在Isabelle2021Use command "isabelle" to invoke Isabelle tools.tomr@DESKTOP /cygdrive/c/Homes/Isabelle2021/
浏览 0提问于2021-03-21得票数 1
回答已采纳
我在标准位置创建了一个Nominal2堆映像：我不能在理论面板中选择它来加载。/bin/bash
但是我什么都没做，或者，让
浏览 2提问于2015-07-20得票数 1
回答已采纳
我想看看Isabelle/HOL分布的向量空间理论文件中的定义。Isabelle邮件列表的This thread解释了如何使用命令isabelle make HOL-Base执行此操作。
浏览 41提问于2019-03-07得票数 2
回答已采纳
1回答
下面是我创造了Version=1.0Comment=The IsabelleTheorem ProverIcon=/home/user/Isabelle2022/lib
浏览 0提问于2023-02-14得票数 1
回答已采纳
但是Drive/Isabelle/Galois/PreGalois"导入了“/User/dstr/Google "$ISABELLEWORK/Galois/PreGalois"”，所以我设置了一个环境变量
浏览 13提问于2020-02-01得票数 1
我可以看到两种可能性：
有主要的Isabelle2021.exe，但是它启动了jEdit窗口，我仔细地检查了打包的jEdit选项，我没有发现jEdit可能作为输入伊莎贝尔命令行命令的工具。在bin目录中有3个脚本-- isabelle、isabelle_java、isabelle_scala_script，我为每个脚本复制了*.bat文件，并且尝试从Windows命令行运行，但我得到了：C:\Homes\Isabelle2021\Isabelle2021\bin>isabe
浏览 0提问于2021-03-21得票数 0
回答已采纳
1回答
我试着为Isabelle 2019年使用VS代码扩展。在isabelle.vscode.Preview_Panel.flush(preview_panel.scala:24)$ isabelle scalascala> Isabelle_Fonts.fonts(hidden = true)
这会导致"，res0: Listisabelle.<
浏览 2提问于2020-01-31得票数 0
假设我有一个目录isabelle_afp，其中存储了许多理论。此目录是一个库，我不打算更改其中的文件。我想加快伊莎贝尔/jEdit的启动时间(默认情况下，我当前理论所依赖的isabelle_afp中的所有理论都是重新处理的)。
我怎么能跳过这一步？告诉我构建一个持久的堆映像。最简单的方法是什么？我如何告诉Isabelle/jEdit加载这个堆映像？
浏览 7提问于2013-03-08得票数 4
回答已采纳
Compile += Def.task { val source = (sourceDirectory in Compile).value / "isabelle" if (source.exists()) {
log.info(s"Copying Isabelle sou
浏览 2提问于2016-02-21得票数 1
回答已采纳
我在admin db中添加了一个' admin‘用户，并在admin db和另一个db上添加了角色： 1
{
"_id" : "admin.isabelle",>
浏览 0提问于2016-11-06得票数 0
当伊莎贝尔在ProofGeneral中显示目标时，假设是用括号括起来的：然而，在Isabelle/jEdit中，这似乎已更改为元隐含箭头：虽然我理解前者有些不标准，但我发现它更容易阅读有没有办法修改Isabelle/jEdit的行为，以旧的ProofGeneral样式打印出目标？
浏览 3提问于2013-04-11得票数 5
回答已采纳
我花了太多的时间试图从我的Isabelle理论Increments.thy生成.pdf文档。Isabelle build命令卡住了，显然这是Windows上的安装问题。
浏览 3提问于2017-07-21得票数 3
我安装了Windows 10 (64位)。从那时起，伊莎贝尔HOL不再启动，即使在重新安装之后(顺利通过)。错误消息如下：“启动错误:启动Java VM错误”。这发生在我测试的两个版本(2013年-2和2015年)。配置文件中指定的jvm.dll存在于正确的文件夹中。此外，我还在最新版本(8.51)中安装了32位和64位的Java。Windows 10是否存在已知的兼容性问题？伊莎贝尔以前在Windows 7和8上工作，谢谢你的帮助。
浏览 0提问于2015-08-16得票数 0
回答已采纳
我可以调用jEdit插件'Plugins - Isabelle -浏览会话信息‘，并在左侧面板中获取树： - HOLtomr@DESKTOP /cygdrive/c/Homes/Isabelle2021/Isabelle2021
$ isabelle exportcygdrive
浏览 1提问于2021-03-21得票数 0
回答已采纳
我最近开始使用Isabelle/jEdit。我已经为简单的AFP条目创建了一个堆映像。我使用命令行isabelle build工具来创建新映像。我可以通过ProofGeneral和查看和使用图像。如果使用：我可以看到Simpl，但我相信它只是在飞行中重建了一个Simpl镜像。~ > ls -l .isabelle/Isabell
浏览 0提问于2014-03-12得票数 1
是否有一个很好的黑色主题可以很好地与Isabelle一起工作，或者我如何在Proof General中自定义Isabelle内部语法的突出显示？
浏览 5提问于2015-02-20得票数 0
我正在使用Isabelle控制台加载理论Thy_Info.use_thy，其中一些理论在从Isabelle服务器获得响应时失败了。我也从Isabelle client中看到了这个错误***
浏览 6提问于2022-09-28得票数 0
1回答
在SQL上匹配月底的值
、、、
783,'Danny','5'),( '20200430', 783,'Danny','1'),( '20200229', 331,'Isabelle','
浏览 0提问于2020-10-02得票数 0
回答已采纳
云服务器
ICP备案
对象存储
云点播
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号