欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
灰狐会员
来自开放百科 - 灰狐
（版本间的差异）
(以“灰狐会员 ==简介== 灰狐的付费服务 ==服务== 2018，以知识付费的方式提供技术交流和支持服务。 年费：99元RMB。 扫描加入灰...”为内容创建页面) |
小 (→服务) |
||
| 第9行： | 第9行： | ||
年费：99元RMB。 | 年费：99元RMB。 | ||
| − | + | 灰狐全年不停歇的技术支持、总结、培训、公开课的分享。365天的陪伴，一起交流、学习，一起成长、进步。 | |
| + | |||
| + | 扫描二维码即可加入灰狐的朋友们，期待你的参与。 | ||
[[文件:zsxq.jpg]] | [[文件:zsxq.jpg]] | ||
2018年4月18日 (三) 13:59的版本
灰狐会员
目录 |
简介
灰狐的付费服务
服务
2018，以知识付费的方式提供技术交流和支持服务。
年费：99元RMB。
灰狐全年不停歇的技术支持、总结、培训、公开课的分享。365天的陪伴，一起交流、学习，一起成长、进步。
扫描二维码即可加入灰狐的朋友们，期待你的参与。
图集
链接
分享您的观点
