欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Open content
来自开放百科 - 灰狐
|
您可以在Wikipedia上了解到此条目的英文信息 Open content Thanks, Wikipedia. |
Open content、OpenContent 、开放内容
许可协议
- Creative Commons licenses
- Open Publication License
- Against DRM license
- GNU Free Documentation License
- Open Game License
- Free Art License
分享您的观点
