isabelle_driver 源码

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-