Lean 4 語言體驗心得與軟體的未來

Thu, Jul 2, 2026, 12:00 AM

Speaker：Chih Cheng Liang – 過去，他在以太坊生態系統中開發零知識應用程式。