Tao只能算是在使用和进行一些推广吧

我今年学了挺久的lean和coq,写起来真的挺费脑

【 在 VincentGe 的大作中提到: 】
: lisp和yaml的表达力是差不多的，类似于声明式编程，这点比较类似的是css。因此lisp我是看好的，不论是ai生成还是自己写。
: 你提到的第二点很棒。
: 这点我没有想到，这一点好像陶哲轩在搞，不过是在数学领域。
: ...................
--
FROM 61.149.70.214