如果你對 #LeanLang 感到好奇,並想了解 #編程 和 #證明 之間的聯繫,請查看 Ank Yog 的這段精彩新視頻。國際象棋與真實命題之間的類比尤其引人入勝!