New top story on Hacker News: Lean – Theorem Prover
Lean – Theorem Prover
7 by thunderbong | 1 comments on Hacker News.
January 21, 2023 at 12:34AM thunderbong 7 https://ift.tt/Weyrjwn Lean – Theorem Prover 1 https://ift.tt/ondm0A6
7 by thunderbong | 1 comments on Hacker News.
January 21, 2023 at 12:34AM thunderbong 7 https://ift.tt/Weyrjwn Lean – Theorem Prover 1 https://ift.tt/ondm0A6
Nhận xét
Đăng nhận xét