欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
LeoFS - A Storage System for a Data Lake and the Web
LeoFS：云存储系统，是一款 Erlang 开发的开源（Apache v2）对象存储系统，支持 Amazon S3 API。
架构
Data Lake
升级流程
运维
网关
存储
管理
Web控制台
