在线时间:8:00-16:00
迪恩网络APP
随时随地掌握行业动态
扫描二维码
关注迪恩网络微信公众号
开源软件名称:mht208/homebrew-formal开源软件地址:https://github.com/mht208/homebrew-formal开源编程语言:Ruby 100.0%开源软件介绍:homebrew-formalHomebrew formulas for formal verification and some other related packages that are missing in the official Homebrew repository InstallationInstall Homebrew and then execute the following command: $ brew tap mht208/formal NoteTo install OCaml related software such as Coq, mathcomp, alt-ergo, we recommend OPAM. |
2023-10-27
2022-08-15
2022-08-17
2022-09-23
2022-08-13
请发表评论