Dreambooks

Search This Blog

New top story on Hacker News: Lean – Theorem Prover

January 20, 2023

Get link
Facebook
X
Pinterest
Email
Other Apps

Lean – Theorem Prover
7 by thunderbong | 1 comments on Hacker News.

Hacker News

Get link
Facebook
X
Pinterest
Email
Other Apps

Comments

New top story on Hacker News: Condo boards everywhere are unprepared for serious repairs

Condo boards everywhere are unprepared for serious repairs 11 by prostoalex | 5 comments on Hacker News.

New top story on Hacker News: 20Y study finds little evidence religiosity leads to greater life satisfaction

20Y study finds little evidence religiosity leads to greater life satisfaction 24 by giuliomagnifico | 7 comments on Hacker News.

Sub-Saharan Africa just recorded its first coronavirus case. The WHO and Bill Gates have warned that Africa can't deal with an outbreak.

The World Health Organization fears Africa's "fragile healthcare systems" may not be able to cope with a serious outbreak of COVID-19. from Yahoo News - Latest News & Headlines https://ift.tt/2vfuAj1 via IFTTT

Powered by Blogger

New top story on Hacker News: Lean – Theorem Prover

Comments

Post a Comment