欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Open location code
来自开放百科 - 灰狐
Open Location Code 是谷歌推出的一开放式地址码(Open Location Code,OLC)开源项目(Apache v2),用来简短准确地表示经纬度。
链接
分享您的观点