3 ms·A nice introduction to the tools used to formally prove software (and mathematics) correct.by mbrodersen 5y agoA nice introduction to the tools used to formally prove software (and mathematics) correct.