Coq 证明助手

a5c-ai/babysitter/library/specializations/domains/science/mathematics/skills/coq-proof-assistant

1.7k 0JavaScript开发工具
平台VS Code

与 Coq 证明助手接口以做形式化验证。

VS Code

全部 skill