How to Believe a Machine-Checked Proof

@inproceedings{Pollack1996HowTB,
  title={How to Believe a Machine-Checked Proof},
  author={Robert Pollack},
  year={1996}
}

References

Publications referenced by this paper.
Showing 1-2 of 2 references

Foundations of Constructive Analysis

  • Errett Bishop
  • 1967

Similar Papers

Loading similar papers…