Lanyon与多家风投合作，推进物理宇宙形式验证

RT @getjonwithit: 我们非常激动地与@SimonDBarnett和@_DimensionCap的@zavaindar、@IndustriousVC的@TaylorCSargent以及@blader合作，共同兑现正式验证物理宇宙的承诺，并弥合计算、数学和物理世界之间最后剩余的鸿沟。

我写了一篇短文介绍这群杰出的人，以及为什么我们如此高兴与他们合作，因为我们继续构建Lanyon。链接如下👇