Hacker News
Reddit
Related searches:

Search whole site: site:media.ccc.de

Search title: media.ccc.de - Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development

See how to search.