#形式验证

软件基础：形式验证

一篇关于形式验证、Coq 安装和配置的入门指南，涵盖了 opam 和 VsCoq 的详细步骤。