How to Believe a Machine-Checked Proof (1997) https://lobste.rs/s/8nfjfc #pdf #formalmethods #math https://www.brics.dk/RS/97/18/BRICS-RS-97-18.pdf