Coq Checker插件介绍

Coq Checker

Coq Checker是一个专门为ChatGPT设计的插件，用于检查Coq代码的正确性。了解更多关于Coq Checker的功能和优势。

Listing

  • 还没有评论

coqc
添加到心愿清单
添加评论
分享

Coq Checker是一个专门为ChatGPT设计的插件，用于检查Coq代码的正确性。它基于Coq，一个广泛使用的形式化证明助手，帮助用户验证数学证明的正确性。通过Coq Checker，用户可以轻松地在ChatGPT中验证Coq代码，确保其无误。

功能

  • 检查Coq代码的正确性。
  • 验证数学证明的准确性。

分类

了解这个插件的教程：
如何使用ChatGPT插件Coq Checker？

JSON Data
{"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

联系方式