this should
未关闭
还没有人认领这个 Issue。
- 主要语言
- Lean
- 星标
- 709
- 派生
- 200
- 平均合并
- 3 天 6 小时
- 30 天内合并 PR
- 45
描述
贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
调研方向
打开链接所指行中的 Cslib/Logics/Propositional/Defs.lean，并检查周围的定义和项目约定。该 issue 没有说明应更改什么，也没有说明应如何验证完成情况，因此请在开始实现之前明确预期行为。
由索引模型根据 Issue 内容生成。
评估
- 领域
- tooling
- Issue 类型
- 重构
- 难度
- 3/5
- 预计耗时
- 1-2 天
- 活跃度
- 冷清
- 描述清晰度
- 需要澄清
- 新手友好度
- 25/100