How to Believe a Machine-Checked Proof

Preprints and otherPollack 1997Cite as [@pollackHowBelieveMachineChecked1997]

Pollack, Robert. 1997. “How to Believe a Machine-Checked Proof.”

BibTeX

@misc{pollackHowBelieveMachineChecked1997,
  title = {How to {{Believe}} a {{Machine-Checked Proof}}},
  author = {Pollack, Robert},
  year = 1997
}