文件名称：incredible:不可思议的打样机
文件大小：626KB
文件格式：ZIP
更新时间：2024-05-20 21:34:48
Haskell
不可思议的打样机 欢迎来到难以置信的证明机。 难以置信的证明机器是一种非文本的交互式定理证明器，或者至少它有望成为一体。 如果您想尝试一下，请访问 。 该项目同时包含Haskell和JavaScript代码，因此需要安装一些依赖项。 构建逻辑核心 逻辑核心在Haskell中实现，并使用编译为JavaScript。 请参阅此处以获取更详细的说明，但这是一种快速方法。 安装GHC版本7.10和cabal-install版本1.22。 在Ubuntu上，运行 $ add-apt-repository -y ppa:hvr/ghc $ apt-get update $ apt-get install cabal-install-1.22 alex-3.1.4 happy-1.19.5 ghc-7.10.3 $ export PATH=$HOME/.cabal/bin:/opt/ghc/7.