Isabelle

本专辑为您列举一些Isabelle方面的下载的内容,Isabelle等资源。把最新最全的Isabelle推荐给您,让您轻松找到相关应用信息,并提供Isabelle下载等功能。本站致力于为用户提供更好的下载体验，如未能找到Isabelle相关内容，可进行网站注册，如有最新Isabelle相关资源信息会推送给您。

阅读全文

Isabelle

: isabelle_driver C-to-Isabelle和AutoCorres应用于Openbsd驱动程序这些是安装C-to-Isabelle解析器和AutoCorres工具所需的设置。这些将在Jedit（Isabelle的IDE）中使用。安装依存关系对于Ubuntu，使用以下命令：对于其他系统...
评级：0 浏览量：79 收藏量：0 资源大小：8KB 上传时间：2021-04-03

: ISABELLE ISABELLE
评级：0 浏览量：79 收藏量：0 资源大小：72KB 上传时间：2019-10-24

: Isabelle：与定理证明有关的代码伊莎贝尔与定理证明有关的代码
评级：5 浏览量：411 收藏量：1 资源大小：5KB 上传时间：2021-02-20

: isabelle.vim:NeoVim扩展名与coc-isabelle结合使用 isabelle.vim 支持插件。它定义了coc-isabelle使用的动态语法突出显示组以及常规的Isabelle / Isar语法。从技术上讲，该插件可以独立使用，但是仅提供静态语法突出显示和符号替换。为了充分利用Isabelle / ...
评级：0 浏览量：79 收藏量：0 资源大小：389KB 上传时间：2021-03-31

: SolidityABI:Isabelle形式化的Solidity ABI编码和解码经验证的Solidity ABI编码器/解码器该存储库包含编码器和解码器的规范，实现和验证（在Isabelle中）。注意：此开发尚未针对Isabelle2021更新。它应与Isabelle2020一起使用。存储库的结构如下： ABI类型和其他基本...
评级：0 浏览量：346 收藏量：0 资源大小：118KB 上传时间：2021-03-11

: Isabelle2021.exe isabelle2021安装包。程序理论课程中的程序环境
评级：0 浏览量：139 收藏量：0 资源大小：73KB 上传时间：2021-11-28

: isabelle：慕尼黑isabelle hg存储库的git mirror isabelle：慕尼黑isabelle hg存储库的git mirror
评级：0 浏览量：72 收藏量：0 资源大小：16.97MB 上传时间：2021-02-21

: Isabelle/Eclipse:用于Isabelle证明助理的Eclipse集成-开源 Eclipse插件基于Isabelle / Scala框架为Isabelle证明助手提供Prover IDE。 Isabelle / Eclipse从Isabelle / jEdit Prover IDE的端口开始，与Eclipse IDE集成为插件。集成使用通用的Eclipse组件来提供理论编辑，正确...
评级：0 浏览量：177 收藏量：0 资源大小：70.51MB 上传时间：2021-05-13

: isabelle-hypermap:IsabelleHOL中平面超图的形式化 Isabelle / HOL中平面超图的形式化超图是用于表示四色定理的Coq证明的平面图的数据结构，可。此开发旨在在Isabelle / HOL中实现超图，以最终产生四色定理的完整证明。为此，存储库镜像了Coq证明中使用的文件结构和...
评级：0 浏览量：58 收藏量：0 资源大小：50KB 上传时间：2021-04-11

: Isabelle McKenzie-P2 as Center Block for Future Propulsion.pdf Isabelle McKenzie-P2 as Center Block for Future Propulsion.pdf
评级：0 浏览量：76 收藏量：0 资源大小：1.63MB 上传时间：2021-09-02

: fosad：来自Isabelle的“安全分析和设计基础”讲座的一些理论 Isabelle安全分析和设计的基础该知识库包含交互式定理证明者在“ Grundlagen der Sicherheitsanalyse und des Designs”讲座中介绍的一些理论的形式化。目前，它包含以下形式的形式 Goguen-Meseguer互不干扰，...
评级：0 浏览量：65 收藏量：0 资源大小：23KB 上传时间：2021-02-18

: isabelle-exercises：我对Nipkow和Klein的“具体语义学”中的练习的解决方案伊莎贝尔练习我对Nipkow和Klein的“具体语义学”中的练习的解决方案该书和练习可以在上。还有一本基于本书的课程，可以在找到。执照
评级：0 浏览量：69 收藏量：0 资源大小：3KB 上传时间：2021-02-28

: leaving-isabelle 离开伊莎贝尔源自 rot.js 框架的基于越南的 Roguelike。
评级：0 浏览量：51 收藏量：0 资源大小：55KB 上传时间：2021-07-22

: 使用Isabelle定理Prover自动验证河内塔的非递归算法使用Isabelle定理Prover自动验证河内塔的非递归算法
评级：0 浏览量：99 收藏量：0 资源大小：972KB 上传时间：2021-03-12

: utp-main:Hoare和他在Isabelle中统一编程理论的实现这是Hoare和He的（UTP）在Isabelle / HOL证明助手中的语义嵌入。我们以Feliachi，Gaudel和Wolff（2010）首次创建的浅层嵌入为基础来实现这一特定实现，但是我们还结合了Foster，Zeyda和Woodcock（2015）在Isabelle...
评级：0 浏览量：95 收藏量：0 资源大小：5.58MB 上传时间：2021-05-09

: libisabelle：一个与Isabelle对话的Scala库（已终止）自由女神作为此库的可能替代品，请查看。
评级：0 浏览量：43 收藏量：0 资源大小：1.09MB 上传时间：2021-02-05

: The Isabelle System Manual Isabelle自动证明系统安装使用手册，定理描述等。
评级：0 浏览量：151 收藏量：0 资源大小：326KB 上传时间：2012-04-12

: zulip-archive：在https：isabelle.systemszulip-archive...上的Isabelle Zulip聊天存档。 zulip-archive：在https：isabelle.systemszulip-archive上托管的https://isabelle.zulipchat.com上的Isabelle Zulip聊天存档。
评级：0 浏览量：84 收藏量：0 资源大小：1.03MB 上传时间：2021-02-10

: Python库 | isabelle_client-0.3.2-py3-none-any.whl python库，解压后可用。资源全名：isabelle_client-0.3.2-py3-none-any.whl
评级：0 浏览量：22 收藏量：0 资源大小：16KB 上传时间：2022-03-21

: 4- Isabelle McKenzie-P2 as Center Block for Future Propulsion.zi 4- Isabelle McKenzie-P2 as Center Block for Future Propulsion.zip
评级：0 浏览量：38 收藏量：0 资源大小：1.32MB 上传时间：2021-10-04

: Christian Colot，Philippe Baecke和Isabelle Linden的文章“利用细粒度的移动数据通过本质随机森林进行... 目前正在Christian Colot，Philippe Baecke和Isabelle Linden撰写的文章“利用细粒度的移动数据通过本质随机森林进行流失检测”中描述了该算法。使用的Scikit学习版本：0.20.2版实施方法：下载带有源代码的...
评级：0 浏览量：68 收藏量：0 资源大小：431KB 上传时间：2021-03-25

: BlueJ-PartA:CO452独立研究BlueJ Part A Isabelle Thorpe CO452应用模板2021 该模板基于《 Java的对象优先：使用BlueJ版本6的实用介绍》一书中描述的Java应用程序，并且包含BNU CO452学生的入门项目，而Wiki包含有关评分方案和评估应用程序所需功能的详细信息。...
评级：0 浏览量：75 收藏量：0 资源大小：5.23MB 上传时间：2021-04-02

: isabelle:一个管理我的粉碎组的ELO等级的不和谐机器人 isabelle:一个管理我的粉碎组的ELO等级的不和谐机器人
评级：0 浏览量：52 收藏量：0 资源大小：33KB 上传时间：2021-03-19

: StorageStackSemantics 存储堆栈语义这是一个存储库，用于展示我们在 HotOS 2015 上发表的最近工作中讨论的证明风格。我们的论文可以在这里找到： : . ... 如果您已成功安装 Isabelle，则只需从安装目录运行 Isabelle201X - 这将打开 jEdit。
评级：0 浏览量：35 收藏量：0 资源大小：3KB 上传时间：2021-06-12

: scyther-proof:自动生成安全协议的IsabelleHOL正确性证明的工具防镰刀工具的每个发行版都包含正式形式化其验证理论的Isabelle / HOL理论的副本以及使用防镰刀进行验证的协议模型的副本。尤其是，这些示例包括针对我们从ISO / IEC-9798认证标准修复的所有协议版本的模型。 ...
评级：0 浏览量：235 收藏量：0 资源大小：3.72MB 上传时间：2021-05-28

: mirror-afp-2021:foss.heptapod.netisa-afpafp-2021的Git镜像形式证明档案 ... 如果您是AFP作者或Isabelle维护者，则可以通过发送请求（包括您的Heptapod登录名）到in.tum.de进行afp-submit at in.tum.de来推送对该存储库的访问权限可以在doc/目录中找到维护条目的准则。
评级：0 浏览量：53 收藏量：0 资源大小：84.35MB 上传时间：2021-04-02

: Z_Toolkit:这是IsabelleHOL中Z数学工具包的实现，如ISO 13568中所述 Z_Toolkit 这是Isabelle / HOL中Z数学工具包的实现，如ISO 13568：2002中所述。
评级：0 浏览量：33 收藏量：0 资源大小：3.28MB 上传时间：2021-03-04

: elle:基于周期检测的黑盒交易安全检查器埃勒 Elle是用于黑盒数据库的事务一致性检查器。纯粹基于客户对交易的观察，并在对数据类型和操作的限制最小的情况下，它可以告诉您该观察是否表现出各种交易异常。像聪明的律师一样，埃勒（Elle）在故事中寻找一...
评级：0 浏览量：49 收藏量：0 资源大小：6.9MB 上传时间：2021-04-14

: lvalues:经典和量子程序中的LValue lvalues:经典和量子程序中的LValue
评级：0 浏览量：54 收藏量：0 资源大小：90KB 上传时间：2021-03-27

: Formal specification, monitoring, and verification of vehicle Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
评级：0 浏览量：43 收藏量：0 资源大小：1.16MB 上传时间：2021-10-12

: l4v:seL4规格和证明有关Isabelle的介绍，请参见其和。设置这个仓库是为了作为一个谷歌的部分的设置。而不是直接克隆它，而是按照的说明进行操作。依存关系有关软件依赖性和Isabelle设置，请参阅docs目录中的文件。贡献欢迎对该存储库...
评级：0 浏览量：143 收藏量：0 资源大小：11.32MB 上传时间：2021-05-12

: Matisa-crx插件此扩展名允许对GitHub上的Isabelle数学语法进行适当的排版。该扩展在GitHub上解析Isabelle语法，并使用MathJax对其进行呈现。当前是beta版本，示例可在以下位置获得：...
评级：0 浏览量：45 收藏量：0 资源大小：1.38MB 上传时间：2021-04-03

: 澄清「Matisa」-crx插件这个扩展允许GitHub上的Isabelle数学语法被适当的排版。这个扩展在GitHub上解析Isabelle语法，并使用MathJax呈现它。这是目前的一个测试版本，可在以下网址找到：...
评级：0 浏览量：35 收藏量：0 资源大小：1.38MB 上传时间：2021-03-23

: sail:Sail架构定义语言给定Sail定义后，该工具将对其进行类型检查并生成C和OCaml中的可执行仿真器，Isabelle，HOL4和Coq的定理证明者定义，以及与我们的和工具集成的并发语义定义。这一切都在进行中，某些定理证明者的定义还不适用于更...
评级：0 浏览量：251 收藏量：0 资源大小：25.8MB 上传时间：2021-05-12

: ott:Ott工具，用于编写编程语言和计算的定义另外，它可以作为过滤器运行，获取带有定义语言的嵌入式（符号）术语的LaTeX / Coq / Isabelle / HOL / Lem / OCaml源文件，对其进行解析并将其替换为排版术语。最简单的是，Ott可用于辅助非正式的LaTeX数学。在...
评级：0 浏览量：121 收藏量：0 资源大小：3.63MB 上传时间：2021-05-05

: matlab精度检验代码-ArsIsabelle_BHS_Project:学习如何运行MatlabEEG-FFR分类器 Isabelle Arseneau-Bruneau作为2020年蒙特利尔BrainHack学校的一部分开发的项目概括该项目是一个教程。它旨在帮助您学习如何在MATLAB中将机器学习分类器（隐马尔可夫模型）与称为频率跟随响应（FFR）的听觉神经...
评级：0 浏览量：67 收藏量：0 资源大小：1.74GB 上传时间：2021-05-22

: vimulator:jEdit 5的vim仿真器对于Linux / Mac上的Isabelle / jEdit 2021，用户插件路径为$HOME/.isabelle/Isabelle2021/jedit/jars 。您可以在下找到相应的Vimulator.jar或自己构建项目。建筑设置ant指向build.xml正确的jdk和jEdit版本。然后...
评级：0 浏览量：78 收藏量：0 资源大小：36KB 上传时间：2021-03-30

: ※支持向量机111.rar Boser、Isabelle M. Guyon和Vapnik通过核方法得到了非线性SVM [13] 。1995年，Corinna Cortes和Vapnik提出了软边距的非线性SVM并将其应用于手写字符识别问题 [14] ，这份研究在发表后得到了关注和引用，为SVM在各...
评级：0 浏览量：68 收藏量：0 资源大小：280KB 上传时间：2021-12-03

: matlabauc代码-isis-diabetes-missingdata:isis-diabetes-missingdata Saeed，Isabelle Guyon，具有缺失数据的特征选择偏向，神经计算（待发布）。糖尿病数据集参考 F. Balazard，S。Le Fur，S。Valtat，AJ Valleron，PI c。 G.Bougn`eres，《环境标志物与儿童1型糖尿病的关联》通过一...
评级：0 浏览量：71 收藏量：0 资源大小：8KB 上传时间：2021-05-24

: scientific-paper-summarisation:机器学习模型可自动总结科学论文 Ed Collins，Isabelle Augenstein，Sebastian Riedel。。参加2017年7月的CoNLL会议录。埃德·科林斯（Ed Collins）。对科学论文进行摘录总结的一种有监督的方法。伦敦大学伦敦分校论文，2017年5月。代码说明...
评级：0 浏览量：78 收藏量：0 资源大小：2.42MB 上传时间：2021-05-17

: lem:Lem语义定义语言莱姆Lem 是轻量级可执行数学的工具，用于编写、管理和发布大规模可移植语义定义，可导出到 LaTeX、可执行代码（目前为 OCaml）和交互式定理证明器（目前为 Coq、HOL4 和 Isabelle/HOL，不过生成的 Coq 不一定是惯用...
评级：0 浏览量：237 收藏量：0 资源大小：3.42MB 上传时间：2021-05-30

: matlab二重积分代码-Neonatal-incubator-for-developing-countries:发展中国家新生儿保育箱 Niit），伊莎贝尔（Isabelle Lind），帕特里克·卡雷拉（Patrick Carrera Jeri）医学工程，项目课程新生儿保育箱我们的项目是为发展中国家制造医疗恒温箱，重点是控制湿度。我们使用蓝牙模块从DHT11传感器获取...
评级：0 浏览量：54 收藏量：0 资源大小：46KB 上传时间：2021-05-27

: SysBot.ACNHOrders：基于队列的ACNH SysBot 所有的渡渡鸟获取，闸门的打开和关闭，移动和对话（包括Tom Nook或Isabelle的早间公告进度）都是自动化的。或者，您可以将其用作全自动连接，日志记录和地图刷新机器人，以在网络或在线崩溃/断开连接后恢复在线...
评级：0 浏览量：263 收藏量：0 资源大小：1.13MB 上传时间：2021-02-18

: holbert:专为教育设计的图形化交互式证明助手像伊莎贝尔（Isabelle）一样，霍尔伯特（Holbert）只是纯粹的元逻辑。尽管所有连接词都可以在系统中定义，但它本身并未定义任何连接词（例如合取或析取）。对于绑定结构和量词，可以使用更高阶的抽象语法。与...
评级：0 浏览量：62 收藏量：0 资源大小：10.9MB 上传时间：2021-03-13

: 威克斯利一阶逻辑，高阶逻辑，统一，重写，自然演绎，定理表示并通过Isabelle / HOL进行证明，形式化数学软件测试；单元测试，功能测试，组合测试，有限模型，结构测试，数据流模型和测试，测试选择和充分性，变异测试，...
评级：0 浏览量：55 收藏量：0 资源大小：2KB 上传时间：2021-02-14

: domestic-violence:南卡罗来纳州家庭暴力刑事犯罪调查系列项目介绍南卡罗来纳大学的学生 Isabelle Khurshudyan 和 Sarah Ellis 帮助该报及其合作伙伴进行数据研究。 ####普利策奖2015 年，《邮递与信使该系列。 ###License 数据和代码受约束。文本内容、照片和视频是 The Post and...
评级：0 浏览量：40 收藏量：0 资源大小：17.07MB 上传时间：2021-06-11

: SABLE:Syracuse保证BootLoader执行要求要构建SABLE： CMake的> = 3.0.2 gcc> = 4.3 要配置和启动SABLE，请执行以下操作：任何支持AMD-V虚拟化的AMD CPU V1.2 TPM芯片GRUB2 tpm-工具要为Isabelle / HOL构建SABLE： python> = 3.4建造对于典型的构建，...
评级：0 浏览量：108 收藏量：0 资源大小：269KB 上传时间：2021-05-13

: DooVR:使用Oculus Rift和Sixense STEM建模应用程序版权所有（C）2015 Isabelle Forsman，Olle Grahn，Jonathan Bosson，Johan Nordin。该程序是免费软件：您可以根据自由软件基金会发布的GNU通用公共许可证的条款（许可证的版本3）或（根据您的选择）任何更高版本...
评级：0 浏览量：62 收藏量：0 资源大小：50KB 上传时间：2021-05-26

资源推荐

相关资源标签

高阶逻辑，自动证明 scala isabelle ScalaScala HTML 研究论文 Haskell JavaScript 生产工具 Python vim emulation jedit Java plugin neovim Vimscript 扩展程序 OCaml theory proof StandardML 开源软件 python machine-learning natural-language-processing 系统开源程序理论支持向量机开发语言 Python库