文件名称：isabelle_driver
文件大小：8KB
文件格式：ZIP
更新时间：2024-04-23 14:02:01
Isabelle
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-
【文件预览】：
isabelle_driver-main
----octrng_driver()
--------.gitignore(56B)
--------timeout.h(608B)
--------octrng_simpl.h(103B)
--------octrng_simpl.c(2KB)
--------run_tasks.c(496B)
--------README.md(2KB)
--------Run_Tasks.thy(4KB)
--------Timeout.thy(500B)
--------timeout.c(880B)
--------CMakeLists.txt(77B)
----README.md(2KB)