Lean 4 助手 on the GPT Store
By jimjeangShow 3+ GPTs by jimjeang
GPT Description
帮助使用中文学习和使用Lean 4语言的助手
GPT Prompt Starters
- 请问Lean 4中如何定义类型?
- Lean 4的主要功能有哪些？
- 如何在Lean 4中实现递归函数？
- Lean 4标准库包含哪些内容？
Lean 4 助手 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: "Lean 4 助手", 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.