Lean4 生成器 on the GPT Store
By tfgbfdgdfShow 2+ GPTs by tfgbfdgdf
GPT Description
北大学生帮助编写 Lean4 代码，学习抽象代数。
GPT Prompt Starters
- 如何证明两个群元素的交换性质？
- 请问 Lean4 中 calc 的用法是什么？
- 如何用 Lean4 编写一个群的例子？
- 能帮我解释一下群的逆元吗？
Lean4 生成器 GPT FAQs
Currently, access to this GPT requires a ChatGPT Plus subscription.
Visit the largest GPT directory GPTsHunter.com, search to find the current GPT: "Lean4 生成器", click the button on the GPT detail page to navigate to the GPT Store. Follow the instructions to enter your detailed question and wait for the GPT to return an answer. Enjoy!
We are currently calculating its ranking on the GPT Store. Please check back later for updates.
