PeaCoq, PeaCoq是一个相当好的Coq,不是?

分享于 

4分钟阅读

GitHub

  繁體 雙語
PeaCoq is a pretty Coq, isn't it?
  • 源代码名称:PeaCoq
  • 源代码网址:http://www.github.com/Ptival/PeaCoq
  • PeaCoq源代码文档
  • PeaCoq源代码下载
  • Git URL:
    git://www.github.com/Ptival/PeaCoq.git
    Git Clone代码到本地:
    git clone http://www.github.com/Ptival/PeaCoq
    Subversion代码到本地:
    $ svn co --depth empty http://www.github.com/Ptival/PeaCoq
    Checked out revision 1.
    $ cd repo
    $ svn up trunk
    
    PeaCoq logo PeaCoq

    Build Status

    Docker Hub

    准备( 每个人)

    
    $ git clone https://github.com/Ptival/PeaCoq.git
    
    
    $ cd PeaCoq
    
    
    
    

    依赖项( NixOS )

    对于所有 1337 hax0rz,shell.nix 应该提取所有必要的依赖关系。

    
    $ nix-shell
    
    
    # brace yourself, this might take a while the first time!
    
    
    
    

    依赖项( 其他分发)

    使用你的软件包管理器,提取以下依赖项:

    依赖版本绑定注释
    阴谋阴谋1.22~使用最新可用
    Camlp56.14不确定,只需获取最近可用
    Coq8.5+在 <8.5上绝对
    GHC7.10.2~+我相信我使用了一些最近的功能
    NodeJS ( npm )3.8.6任何版本可能工作
    OCaml4.02.3~+可以在任何> = 4上工作,如果 Coq

    此外,必须手动拖动以下 Cabal 依赖项:

    
    $ cabal install alex happy
    
    
    
    

    建筑( 每个人)

    可选( 但推荐),你可以运行 cabal update,然后:

     
    $./setup.sh
    
    
    
     

    setup.sh 将执行大量操作:

    检查所需的软件是否存在和版本

    清理 peacoqtoppeacoq-server的现有安装

    构建并安装 peacoqtopcoqtop的包装器

    构建并安装 peacoq-server,这是一个与前端通信的小型

    make的OCaml插件,丰富了PeaCoq的coq协议

    npm install 前端所需的一些JavaScript模块

    typings install 某些打字定义需要输入检查前端

    tsc -p. transpiles从打字到JavaScript的前端

    最后,将在你的主目录中创建一个配置文件

    所以需要一段时间,并且步骤 3,4,6和 7将需要一个Internet连接。

    正在运行 PeaCoq

    
    ./peacoq -p <PORT>
    
    
    
    

    然后导航到 http://localhost:<PORT>/index.html 开始使用 PeaCoq !

    命令行快捷方式

    <C> 将引用 Ctrl 或者 Command 键。 <M> 将引用 Alt 或者 Option 键。

    注意:某些快捷方式在 Windows 和可能的macOS 上提供了不好的用户体验。

    他们最终将成为 re-bind-able。 在 web/ts/editor/keybindings.ts 中随意修改。

    快捷方式动作
    <C> <M> L加载文件
    <C> <M> S保存文件
    <C> <M> Up后退一步
    <C> <M> Right单步插入插入符号
    <C> <M> Down分步前进
    <C> <M> +放大字体
    <C> <M> -缩小字体

    PRE  COQ  
    相关文章