[资源介绍]
GitHub - rocq-community/awesome-coq: A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog] - rocq-community/awesome-coq
- Coq - 用于编程和规范的形式化语言和环境，可促进机器验证证明的交互式开发。
