HN Gopher Feed (2017-12-30) - page 1 of 10
 
___________________________________________________________________
Coming Soon:Machine-Checked Proofs in Everyday Software and
Hardware Development
13 points by fuklief
https://media.ccc.de/v/34c3-9105-coming_soon_machine-checked_mat...
ecked_mathematical_proofs_in_everyday_software_and_hardware_development
___________________________________________________________________