Lambda 正在与多位数学家和工程师合作，利用 @leanprover 进行形式化验证。 这只是个开始。请查看我们的最新博文。我们正在打造一些意义非凡的东西。