3 ms·The Dawn of Formalized Mathematics4 points by mbrodersen 5y agombrodersen 5y agoA nice introduction to the tools used to formally prove software (and mathematics) correct.deleted 5y ago[deleted]