A Critical Look at Lean4
Article URL: https://www.lesswrong.com/posts/zHhGa3iQBQcdSifFL/a-critical-look-at-lean4-1
Comments URL: https://news.ycombinator.com/item?id=50046727
Points: 1
# Comments: 0
原文：https://www.a8q9.cn/en/article/a-critical-look-at-lean4-fc820a.html