M media.ccc.de Coming Soon: Machine-Checked Proofs in Everyday Development 185 points fuklief 8 years ago 75 comments
