Visning af: How to Believe a Machine-Checked Proof

Tilbage til artikeldetaljer How to Believe a Machine-Checked Proof Download Download PDF