简介
Coq提取为Rust程序,采用OCaml实现。代码数基于原生Co代码。从input.v文件,可查看提取Coq条件示例。尝试:$ ./configure -local$ ./compile.sh提取示例代码:enum Empty_set<> {}enum Unit<> { Tt... 更多
其它信息
地区
不详
开源组织
无
所属分类
程序开发、 其他开发相关
授权协议
GPLv2
操作系统
跨平台
收录时间
2023-09-30
软件类型
开源软件
适用人群
未知
时光轴
里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐
Mustang完全用 Rust 构建程序
Mustang是一个用于构建完全用Rust构建的程序的系统,这意味着它们不依赖于libc或crt1.o的任何部分,并且不链接任何C代码。作者表示,Mustang最初只是为了好玩而创建,练习一些为其他目
Mustang完全用 Rust 构建程序
0
Newspaper基于 Python 的文章提取程序
Newspaper可以用来提取新闻、文章和内容分析。使用多线程,支持10多种语言等。作者从requests库的简洁与强大得到灵感,使用python开发的可用于提取文章内容的程序。支持10多种语言并且所
Newspaper基于 Python 的文章提取程序
0
Newspaper基于 Python 的文章提取程序
Newspaper可以用来提取新闻、文章和内容分析。使用多线程,支持10多种语言等。作者从reque
Newspaper基于 Python 的文章提取程序
0