Джерело:
Hacker News
Дата публікації:
19/11/2020 13:16
Постійна адреса новини:
http://www.vsinovyny.com/7280768
Untangling Mechanized Proofs
19/11/2020 13:16 // Hacker News
| « |
Наступна новина з архіву Show HN: PiratePx – Open Source Privacy focused analytics |
Попередня новина з архіву Sia defends casting a nondisabled actor to portray a person with autism in her upcoming film 'Music' |
» | |
|
|
||||
© 2025 www.vsinovyny.com