没有合适的资源?快使用搜索试试~ 我知道了~
manifesto:有关Coq社区组织目标的文档,共同的贡献指南和行为准则
共9个文件
md:7个
svg:1个
gitignore:1个
需积分: 5 0 下载量 189 浏览量
2021-05-06
14:58:14
上传
评论
收藏 13KB ZIP 举报
温馨提示
这是一个由社区推动的协作项目,用于Coq软件包的长期维护和广告发布。 请注意,此自述文件(清单)是一项正在进行中的工作,旨在进行协作改进。 请贡献! 谁管理这个组织? 该组织由志愿者Coq用户管理。 欢迎大家(您不需要成为经验丰富的Coq用户即可参加)。 请! 它的目标是什么? 协同维护Coq软件包和工具 只要符合以下任一条件,就可以在coq-community中托管项目: 最初的作者已停止维护该项目,而其他人则自愿这样做。 该项目已成为一项集体工作(几个社区成员正在积极开展这项工作); 最初的作者仍在维护该项目,但他们想鼓励其他社区成员参与维护并可能接手(并且该项目的确引起了社区的兴趣); 该项目是人们普遍关注的工具,因此进行协作开发是有意义的。 coq-community下的每个项目都有一个或几个官方维护者,但是维护工作是协作完成的。 用户不必担心自愿成为coq-comm
资源推荐
资源详情
资源评论
收起资源包目录
manifesto-master.zip (9个子文件)
manifesto-master
.github
ISSUE_TEMPLATE
3-meta.md 125B
2-change-maintainer.md 436B
1-move-a-project.md 572B
logo.svg 9KB
CONTRIBUTING.md 4KB
LICENSE.md 660B
README.md 11KB
CODE_OF_CONDUCT.md 2KB
.gitignore 3B
共 9 条
- 1
资源评论
看起来很年长的一条鱼
- 粉丝: 34
- 资源: 4612
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功