Coq Checker
Coq Checker是一个专门为ChatGPT设计的插件,用于检查Coq代码的正确性。了解更多关于Coq Checker的功能和优势。
Listing
-
还没有评论

Coq Checker是一个专门为ChatGPT设计的插件,用于检查Coq代码的正确性。它基于Coq,一个广泛使用的形式化证明助手,帮助用户验证数学证明的正确性。通过Coq Checker,用户可以轻松地在ChatGPT中验证Coq代码,确保其无误。
功能
- 检查Coq代码的正确性。
- 验证数学证明的准确性。
了解这个插件的教程:
如何使用ChatGPT插件Coq Checker?
{"id":"plugin-132eebc9-a0c6-4b55-b031-adacd93ddb48","domain":"coq-chatgpt.livecode.ch","namespace":"coqc","status":"approved","manifest":{"schema_version":"v1","name_for_model":"coqc","name_for_human":"Coq Checker","description_for_model":"Check Coq code.","description_for_human":"Check Coq code.","auth":{"type":"none"},"api":{"type":"openapi","url":"https:\/\/coq-chatgpt.livecode.ch\/openapi.yaml"},"logo_url":"https:\/\/coq-chatgpt.livecode.ch\/logo.png","contact_email":"namin@seas.harvard.edu","legal_info_url":"https:\/\/coq-chatgpt.livecode.ch"},"oauth_client_id":null,"user_settings":{"is_installed":false,"is_authenticated":true},"categories":[{"id":"newly_added","title":"New"}]}
Ratings
推荐插件
推荐插件

Web3 User Activity
通过输入 0x 地址、ENS、Lens 以及 RSS3 网络上的许多其他名称服务来查看任何 Web3 用户的活动。

Message in a Bottle
Throw a message into the digital ocean, or grab one floating...

Mifuzi Domain AI
Discover domain names based on your creative ideas and check...
登录 或者 注册 发表评论