Learning Lean Prover
Today I start learning Lean Prover seriously. I’ll spend a couple of days to get familar with this language and join this very forum.
ChatGPT & LeanProver
ChatGPT has been so hot latterly so I tried to search for some clue how good it is in formal math. Here’s a small
About Me
Authors
Most Read
Atomic Habits – Thực tế – Hữu ích
@todo: bao giờ rảnh viết vậy, cơ mà cuốn này
Nu na nu nống
Haha, quen không @Thọ Tùng? Hôm nọ qua viện toán
Làm 8 tiếng 1 ngày không dễ
Việc làm 9 to 5 nó quen thuộc tới mức
Canada
Trở về từ chuyến đi Canada từ 1h sáng 13/10
