Джерело:
Hacker News
Дата публікації:
29/07/2021 23:44
Постійна адреса новини:
http://www.vsinovyny.com/8092204
A Self-Verifying Theorem Prover (2009) [pdf]
29/07/2021 23:44 // Hacker News
| « |
Наступна новина з архіву Hong Kong crowd booing China's anthem sparks police probe |
Попередня новина з архіву Владельцы MacBook с процессором M1 жалуются на появление трещин в экранах |
» | |
|
|
||||
© 2025 www.vsinovyny.com