HOL Light Code
收藏DataCite Commons2021-02-13 更新2024-07-28 收录
下载链接：
https://figshare.com/articles/dataset/HOL_Light_Code/13992317
下载链接
链接失效反馈官方服务：
资源简介：
This file contains the HOL Light code for the formal verification of MATLAB functions. <br>
提供机构：
figshare
创建时间：
2021-02-13
