C-to-Isabelle和AutoCorres应用于Openbsd驱动程序 这些是安装C-to-Isabelle解析器和AutoCorres工具所需的设置。 这些将在Jedit（Isabelle的IDE）中使用。 安装 依存关系 对于Ubuntu，使用以下命令： 对于其他系统（Debian / MacOS），请参见： : sudo apt-get install \ python3 python3-pip python3-dev \ gcc-arm-none-eabi build-essential libxml2-utils ccache \ ncurses-dev librsvg2-bin device-tree-compiler cmake \ ninja-build curl zlib1g-dev texlive-fonts-recommended \ texlive-

离开伊莎贝尔 源自 rot.js 框架的基于越南的 Roguelike。