欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
CC-BY-SA 3.0
来自开放百科 - 灰狐
署名-相同方式共享 3.0 Unported (CC BY-SA 3.0)
您可以自由:
- 复制、发行、展览、表演、放映、广播或通过信息网络传播本作品
- 创作演绎作品
惟须遵守下列条件:
- 署名 — 您必须按照作者或者许可人指定的方式对作品进行署名。
- 相同方式共享 — 如果您改变、转换本作品或者以本作品为基础进行创作,您只能采用与本协议相同的许可协议发布基于本作品的演绎作品。
分享您的观点