欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Federated Open Platform
来自开放百科 - 灰狐
大家都在推自己的开放平台,而 Federated Open Plarform 意在促进联邦式开放平台的融合,让大家共建 Open Web。
分享您的观点