Lambda 正在與多位數學家和工程師合作，利用 @leanprover 進行形式化驗證。 這只是個開始。請查看我們的最新博文。我們正在打造一些意義非凡的東西。