没有合适的资源？快使用搜索试试~
我知道了~
文库首页
后端
Python
Python库 | agda_pkg-0.1.38-py2.py3-none-any.whl
Python库 | agda_pkg-0.1.38-py2.py3-none-any.whl
1.该资源内容由用户上传，如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款（资源遇到问题，请及时私信上传者）
版权申诉
python
开发语言
Python库
0 下载量
175 浏览量
2022-02-22
17:11:35
上传
评论
收藏
27KB
WHL
举报
温馨提示
限时特惠：¥1.90
11.90
python库。 资源全名：agda_pkg-0.1.38-py2.py3-none-any.whl
资源推荐
资源评论
PyPI 官网下载 | agda_pkg-0.1.45-py2.py3-none-any.whl
浏览：178
资源来自pypi官网，解压后可用。 资源全名：agda_pkg-0.1.45-py2.py3-none-any.whl
Python库 | english_pkg-1.0.0-py3-none-any.whl
浏览：2
资源分类：Python库 所属语言：Python 使用前提：需要解压 资源全名：english_pkg-1.0.0-py3-none-any.whl 资源来源：官方 安装方法：https://lanzao.blog.csdn.net/article/details/101784059
Python库 | bro_pkg-1.3.1-py2.py3-none-any.whl
浏览：4
资源分类：Python库 所属语言：Python 使用前提：需要解压 资源全名：bro_pkg-1.3.1-py2.py3-none-any.whl 资源来源：官方 安装方法：https://lanzao.blog.csdn.net/article/details/101784059
agda-pkg：apkg-Agda的软件包管理器
浏览：42
Agda-pkg是用于管理库的简单工具，它具有其他功能，例如安装来自不同来源的库。 该工具完全不修改Agda ，它只是系统地管理.agda目录， .agda包含.agda/defaults和.agda/libraries文件，这些文件由Agda用于查找可用...
安卓语法高亮编辑器HighlightTextEditor.zip
浏览：55
biferno.lang go.lang mod3.lang python.lang vala.lang bison.lang graphviz.lang modelica.lang q.lang vb.lang blitzbasic.lang haskell.lang moon.lang qmake.lang verilog.lang bms.lang haxe.lang ms.lang qml
Atom-agda-mode,阿加达.zip
浏览：146
Atom-agda-mode.zip,agda-mode on Atom原子上的agda模,atom是一个用web技术构建的开源文本编辑器。
agda-kernel：Jupyter的实验性Agda内核
浏览：153
repo2docker https://github.com/lclem/agda-kernel 安装 pip install agda_kernel python -m agda_kernel.install 语法高亮 语法高亮是由单独完成的，但是不幸的是，它没有打包Agda模式。 可以在codemirror-agda/...
Python库 | pkg_exporter-0.2.4-py3-none-any.whl
浏览：99
python库。 资源全名：pkg_exporter-0.2.4-py3-none-any.whl
Python库 | json_enhanced-0.1.38-py3-none-any.whl
浏览：200
资源分类：Python库 所属语言：Python 使用前提：需要解压 资源全名：json_enhanced-0.1.38-py3-none-any.whl 资源来源：官方 安装方法：https://lanzao.blog.csdn.net/article/details/101784059
AgdaTutorial:http的Git分支
浏览：146
cabal sandbox init克隆 Agda 和 PandocAgda。 git clone git@github.... AGDAPANDOC="cabal exec agdapandoc --" AGDASTDLIB=../agda-stdlib/ ma
HoTT-UF-Agda-Lecture-Notes:关于使用Agda的数学的单价基础的讲义
浏览：19
Agda数学的单价基础简介新的。 Agda文件的模块化版本位于 ，名称为MGS*.lagda 。 生成讲义的资源可在以下位置获得 需要Agda 。 请查阅以帮助您为Midlands研究生院设置Agda和Emacs。 （literate） *.lagda文件用于...
agda-pkg:一个在 Agda 中模拟包的简单工具
浏览：131
agda-pkg 一个在 Agda 中模拟包的简单工具
agda-metric-reals
浏览：24
agda-metric-reals 这一切都在进行中，但这是目录/计划/愿望： “上”实数，定义为正有理封闭上子集每个数字的表示方式都类似于上Dedekind切口这些形成一个半环和一个完整的晶格度量空间，其距离的值以较高的实数用...
agda-stdlib：Agda标准库
浏览：31
agda-stdlib：Agda标准库
Python库 | cijoe_pkg_qemu-6.0.0-py2.py3-none-any.whl
浏览：198
python库。 资源全名：cijoe_pkg_qemu-6.0.0-py2.py3-none-any.whl
Python库 | murano_pkg_check-0.1.1-py2-none-any.whl
浏览：194
python库，解压后可用。 资源全名：murano_pkg_check-0.1.1-py2-none-any.whl
Python库 | buildbot_pkg-0.9.5-py2-none-any.whl
浏览：7
资源分类：Python库 所属语言：Python 资源全名：buildbot_pkg-0.9.5-py2-none-any.whl 资源来源：官方 安装方法：https://lanzao.blog.csdn.net/article/details/101784059
Atom-language-agda,对atom编辑器的agda语言支持。为banacorn/语言做出贡献.zip
浏览：116
Atom-language-agda.zip,atom编辑器的agda语言支持语言AGDA,atom是一个用web技术构建的开源文本编辑器。
mergesort:归并排序正确性证明
浏览：88
归并排序 （相当）无痛依赖类型编程的案例：Agda 中完全认证的归并排序 ...MergeSort3.agda - 第 3 节 - 合并排序算法针对列表排序规范的正确性证明 Permutation.agda - 第 3 节 - 排列相关的东西 MergeSort4.agda - 第
agda-mode-vscode:VS Code上的agda模式
浏览：162
VS Code上的agda模式 反馈，问题和PR都欢迎！ 安装 确保已正确安装 （要在终端中进行检查，请键入agda并查看其是否在您的计算机上）。 打开一个Agda文件，您应该可以通过键入Cc Cl来加载它。 阿格达语言服务器 仍...
schmitty:Agda与SMT-LIB2兼容求解器的绑定
浏览：114
Schmitty是一个Agda库，可为您提供SMT求解器的绑定！ 我知道，很酷吧！ verycool : ∀ (x y : ℤ) → x ≤ y → y ≤ x → x ≡ yverycool = solveZ3 因此，基本上，Schmitty为您提供的是在Agda中很好地嵌
Agda 中的 指称硬件设计_设计_文档_相关文件_下载_Agda
浏览：112
Agda 标准库(agda-stdlib)。已知可与 1.7 版一起使用。 Haskell ieee754 软件包（如下面的故障排除所述） GraphViz用于电路图渲染 建造 Makefile 目标： compile: 编译模块，但您可以在 Emacs 模式 ( ) 中Test更快...
评论
收藏
内容反馈
1.该资源内容由用户上传，如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款（资源遇到问题，请及时私信上传者）
版权申诉
限时特惠：¥1.90
11.90
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
挣扎的蓝藻
粉丝: 13w+
资源:
15万+
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
layuitable 回调函数基础介绍.zip
JavaScript回调函数面试题.zip
.net core 回调函数基础介绍.docx.zip
通过Anaconda配置pytorch环境.zip
通用重置样式-reset.scss
基于Ruby实现pagerank算法.zip
base.apk
基于Spark实现pagerank算法.zip
基于pagerank算法进行邮件PR分析.zip
基于Golang实现的加权pagerank算法实现.zip
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
