Lean 4 paper (2021): https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37 Comments URL: https://news.ycombinator.com/item?id=47404796 Points: 619 # Comments: 136 [原文链接]
Lean 4 paper (2021): https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37 Comments URL: https://news.ycombinator.com/item?id=47404796 Points: 619 # Comments: 136 [原文链接]