唐鳳
發言Speechby唐鳳

Leanstral 這類專門系統，可以檢視這些引理、完成證明，並自動產生經過驗證的新環境。

顯示前後文Show context
← 那該怎麼辦？我一直在參與 LemmaScript 的工作。它... 這是第一次，我們能把過去用於強化智慧合約與鏈上協定的方法，拿... →

鍵盤快捷鍵Keyboard shortcuts

j 下一段next speechk 上一段previous speech