欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Flynn
来自开放百科 - 灰狐
（版本间的差异）
(以“Flynn 是一个开源的 [Platform as a Service|PaaS]] 平台，使用 Go 语言编写，采用 MIT 许可协议。 ==链接== *[https://flynn.io/ flynn官网] ...”为内容创建页面) |
小 |
||
| 第1行： | 第1行： | ||
| − | Flynn 是一个开源的 [Platform as a Service|PaaS]] 平台，使用 [[Go]] 语言编写，采用 MIT 许可协议。 | + | Flynn 是一个开源的 [[Platform as a Service|PaaS]] 平台，使用 [[Go]] 语言编写，采用 MIT 许可协议。 |
==链接== | ==链接== | ||
2013年7月18日 (四) 02:18的版本
Flynn 是一个开源的 PaaS 平台，使用 Go 语言编写，采用 MIT 许可协议。
链接
分享您的观点
