windows+coq+emacs+proofgeneral

Name: windows+coq+emacs+proofgeneral
Rating: 4.5 (39 reviews)
Author: 菇凉小伙

上传者：菇凉小伙 2019-07-27 04:09:30上传 PDF文件 336.6KB 热度 39次

如何在windows下安装coq，并且使用emacs+proofgeneral进行编辑运行。

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

windows加coq加emacs加proofgeneral

如何在windows下安装coq，并且使用emacs+proofgeneral进行编辑运行。

大小：0B | 2019-07-27 04:09:30
coq to lisp Coq到Emacs Lisp通用Lisp提取

将Coq到Scheme Extraction转换为Common Lisp / Emacs Lisp，...

大小：5.21KB | 2024-09-21 00:29:03
Emacs for windows

大小：0B | 2018-12-08 15:37:23
GNU Emacs for windows

大小：0B | 2018-12-08 15:37:25
Emacs Windows版本

大小：0B | 2018-12-08 15:37:24
Coq教程The Coq Proof Assistant

Coq教程TheCoqProofAssistant，作者：GérardHuet,GillesKahn...

大小：0B | 2020-05-18 17:18:13
Coq8.8.1Windows安装包

Github上提供的CoqTopRelease的下载速度可能非常慢，这里为网络状况不好的朋友提供一个...

大小：0B | 2019-07-08 01:38:47
emacs windows下emacs 编辑器

大小：0B | 2018-12-08 15:37:27
COQ tutorial

COQisatheoremprover.hereisatutorialforCOQ

大小：0B | 2019-07-17 10:39:51
emacs24.4for windows

文件来源：http://jaist.dl.sourceforge.net/project/emacs...

大小：0B | 2019-08-04 00:11:50
windows下配置emacs

较为详细的介绍了windows下emacs的配置方法，亲测可用，资料来自网络。

大小：0B | 2019-06-05 12:20:25
emacs modified windows GitLab项目Emacs Modified for Windows的镜像源码

emacs-modified-windows:GitLab项目Emacs Modified for ...

大小：23.61MB | 2021-02-19 08:07:58
emacs24.5for windows

emacs,最新版，神一样的编辑器，官网下比较慢，这里下载速度可以

大小：0B | 2020-06-07 04:37:07
emacs windows下emacs 编辑器(4)

大小：0B | 2018-12-08 15:37:37
coq参考手册The Coq Reference Manual

coq参考手册TheCoqReferenceManual，由coq开发小组所写。

大小：0B | 2020-05-18 17:18:19
Art of Coq

ClassicbookofCoqproofsystem

大小：0B | 2019-07-23 02:10:07