Ubuntu配置Emacs+Coq

最新推荐文章于 2020-01-29 17:14:18 发布

原创最新推荐文章于 2020-01-29 17:14:18 发布 · 1.6k 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#emacs #ubuntu #ide

Coq相关专栏收录该内容

1 篇文章

订阅专栏

本文介绍如何在Emacs中配置Coq环境，包括所需软件版本的要求及安装步骤。特别指出camlp5版本的重要性，并提供了.emacs文件的设置指南。

小记一下，Coq虽然自带IDE，但是考虑到Emacs的强大功能，还是选择了这样一种方式

首先说明的是，安装过程中一定注意版本，除了有版本的下限要求之外，部分组件必须使用某个特定版本，否则会导致错误（本人安装失败后才查到这一点。。。）

所需软件：

Emacs，本人使用的是23.2.1，从源里直接安装的

ocaml，本人下载的最新版本，3.12.1

camlp5，本人就是在这里出的错，必须使用6.04版本。。。

coq，下载的最新版，8.3pl3

ProofGeneral，下载的最新版，4.1

安装过程参照install文件的指示按顺序进行即可。完成ProofGeneral的安装后，按照说明设置.emacs中的load选项即可。（.emacs不一定已经存在，自己创建也没有问题）

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

FlylyBird

关注关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
2
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
举报

举报

专栏目录

Install coq8.8.1 or 8.8.2 on ubuntu

形式化验证学习者的博客

03-13

839

# install ocaml palcage manager sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh) # Install bubblewrap on Ubuntu 18.04 sudo apt update sudo apt install bubblewrap...

uBuntu下emacs配置及其嵌入式环境搭建

air_snake的专栏

02-26

1665

这是我在github上所存储的配置及其uBuntu环境的搭建。 git://github.com/sheepjxx/emacs_config.git Emacs configuration on Linux Install Guid This guide is only for uBuntu 12.04 version, haven't been test on oth

2 条评论您还未登录，请先登录后发表或查看评论

系统Ubuntu下的Emacs配置

07-07

带有各种功能的emacs配置。

ubuntu下emacs的配置(cedit,ecb)

weixin_34192732的博客

01-09

140

1.ubuntu安装emacs后，启动emacs每次emacs弹出的窗体大小以及里面的提示信息看着不舒服，需要修改首先需要在~/目录下看是否有.emacs文件，如果没有则创建之，看是否有.Xdefaults文件，如果没有创建之 .emacs文件配置（参考，可以看效果），这里增加了字体样式，会比默认的好看些 (set-default-font "courier 10 pitch-12")...

【环境安装】ubuntu18.04利用opam安装指定版本的coq工作环境

ReimuYk的博客

01-29

4463

整理了一下从无环境的ubuntu18.04虚拟机到可以证代码的工作环境需要经历的安装流程和命令作为笔记和分享。第一步：安装opam add-apt-repository ppa:avsm/ppa apt update apt install opam 安装如果出现错误则根据报错安装指定依赖等，（缺少cc是需要安装gcc）然后初始化和更新opam，（opam没有进度条，需要耐心等候。。...

windows+coq+emacs+proofgeneral

01-27

### Windows 下 Coq + Emacs + ProofGeneral 安装与配置指南 #### 一、引言随着形式化方法在软件工程中的应用越来越广泛，Coq 作为一种强大的定理证明工具，已经成为很多研究者和开发者的首选。而在 Windows 操作...

common lisp 开发环境搭建 ubuntu+emacs+slime

02-15

979

common lisp 开发环境搭建 ubuntu+emacs + slime 1.安装emacs sudo apt-get install emacs 2.安装common lisp 实现 sbcl sudo apt-get install sbcl 3.安装quicklisp 参考http://www.quicklisp.org/beta/ curl -O http://beta

精选资源

docker-vscode：具有Visual Studio Code + Dotnet CLI + NPM + Emacs +的

12-14

docker-vscode：具有Visual Studio Code + Dotnet CLI + NPM + Emacs +的... docker-vscode：具有Visual Studio Code + Dotnet CLI + NPM + Emacs +的Docker映像！ docker-vscode：具有Visual Studio Code + ...

emacs+ecb+cedet源码包

11-22

emacs ecb cedet源码包包括: emacs-23.4.tar.gz emacs-24.3.tar.gz ecb-2.40.zip cedet-1.0.1.tar.gz cedet-1.1.tar.gz

精选资源

dotemacs：Emacs +邪恶配置

02-20

dotemacs：Emacs +邪恶配置

Coq 8.8.1 Windows安装包

10-11

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

coq-8.11.2-installer-windows-x86_64.exe

07-21

Coq定理证明工具安装包，可用于交互式定理证明/形式验证。免去官网下载极慢的烦恼！

coq-8.8.1-win64.exe和coq-hurry.pdf

12-06

coq-8.8.1和coq-hurry.zipcoq-8.8.1和coq-hurry.zipcoq-8.8.1和coq-hurry.zipcoq-8.8.1和coq-hurry.zip

emacs配置(我的)

eternal风度

02-26

341

(global-set-key [f9] 'compile-file) (global-set-key [f10] 'gud-gdb) (global-set-key (kbd "C-s") 'save-buffer) (global-set-key (kbd "C-z") 'undo) (global-set-key (kbd "RET") 'newline-and-ind...

emacs 环境配置过程

luckyan315的专栏

03-04

3749

首先可以看下最终配置效果下面就写配置的整个过程： 1. 首先大概说明下我的环境：　　win7 , VMware work station , Ubuntu 11.04 , Emacs 23.3.1 ，安装 emacs: 刚开始我记得Ubuntu 11.04这个版本应该是没有默认安装emacs ，所以就需要我们自己下载一个 emacs，安装emac

Emacs的折腾和配置

chenyyhh92的博客

11-30

2681

比较麻烦，未完待续emacs报错：Symbol's function definition is void: cl-struct-define背景及报错产生本来是emacs25的版本，然后配置好了配置文件，安装好了插件；后来感觉25版本越用越卡，想换回24版本；于是乎直接换了24版本，而.emacs.d没有做任何改动，启动24后，报错，如图：解决办法后来在emacs的stackexchange社区找

coq

Kelvin17的专栏

11-04

3131

1.函数作为返回值。使用场合 Definition constfun {X: Type} (x: X) : nat->X := fun (k:nat) => x. 因为constfun的返回值是nat->X.所以需要一个函数作为其返回值。例子： Definition override {X: Type} (f: nat->X) (k:nat) (x:X) : nat->X

Mac OS上安装Coq＋Emacs＋Proof－general

sfwj1128的博客

05-13

2425

最近在研究形式化语言Coq，但是其原生IDE的界面不是很美观，于是就想用Emacs＋Proof general 通过扩展来编译Coq文件。首先安装Homebrew，然后在终端安装emacs、coq和ssreflect： brew install coq emacs ssreflect 之后安装proof－general： brew install proof－gene

Ubuntu下Emacs 23安装与配置全攻略

### 知识点：Ubuntu平台上Emacs 23的安装与配置 **1. Ubuntu平台的基本概念** Ubuntu是一个基于Debian的Linux操作系统发行版，广泛应用于个人计算机、服务器以及云计算环境。它使用基于GNOME的桌面环境，但由于其...