欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜: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 />
分享您的观点