欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
参与维护
来自开放百科 - 灰狐
欢迎大家参与开源百科全书的编写工作.
这是一项巨大的工程,同时也是一件很有意义的事情, 我们期待更多朋友的共鸣和积极参与.
和 Cocia, Mep, Morris, Guradian, Stone, Solar, Zosatapo, Young, Fat1, Allen ... 这些朋友一起交流, 一起协作.
你可以逐渐完善自己的个人信息, 让大家相互了解,彼此信任。
无论是创建新条目,还是编辑现有条目,或者为条目增加一幅插图,发表一条评论,你都可以为开源百科做出贡献。
你可以将你的开源项目的文档就写在这,我们大家一起帮你完善和推广 :)
你也可将你认为好的资源、总结、笔记整理到 Wiki 中, 让更多朋友能从中获得帮助.
用Wiki 记录你的学习笔记和工作总结, 让Wiki 成为学习和工作的好帮手.
让我们也一起讨论wiki, wiki的现状, wiki的发展, wiki的未来.
一起讨论开源百科该如何做, 如何做得更好。
你有什么好的意见、建议就写在这里吧,期待与你的交流, 谢谢 :)
请大家尽量使用英文命名空间(namespace) 如 快速指南
我们也邀请你加入我们的各个项目组
<discussion>characters_max=300</discussion>
分享您的观点