Rocq

Rocq

开发框架/库免费

前 Coq 重品牌，主流证明辅助语言，支持依赖类型与定理证明

产品简介

前 Coq 重品牌，主流证明辅助语言，支持依赖类型与定理证明

用户评价

还没有评价

这款产品刚收录，成为第一个评价的人

写第一条评价