Discussions

• 1 You must be logged in to vote

  🙏

  新建工具箱功能怎么用？自动生成commit 怎么约定生成的格式

  physihan asked Apr 29, 2024 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  💬

  Plugin for Sublime Text 4

  nicolasrapetti started Apr 22, 2024 in General

  

  

  0
• 1 You must be logged in to vote

  🙏

  Is the CodeGeeX2 JetBrains IDE plugin open source?

  coolbeevip asked Apr 4, 2024 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  为什么codegeex目前不支持Intelij IDEA的问答、注释、翻译功能？对话界面也看不到，我用的2023.2.1版本

  inshadow1 asked Mar 18, 2024 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  💡

  什么时候增加交互式定理证明的语言，比如Isabelle、lean、coq

  liuxingpeng520521 started Jan 18, 2024 in Ideas

  

  

  0