Proof assistants : History , ideas and future

  title={Proof assistants : History , ideas and future},
  author={Herman Geuvers},
In this paper I will discuss the fundamental ideas behind proof assis­ tants: What are they and what is a proof anyway? I give a short history of the main ideas, emphasizing the way they ensure the correctness of the mathematics for­ malized. I will also briefly discuss the places where proof assistants are used and how we envision their extended use in the future. While being an introduction into the world of proof assistants and the main issues behind them, this paper is also a position paper… CONTINUE READING
Highly Cited
This paper has 39 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
24 Citations
49 References
Similar Papers

Similar Papers

Loading similar papers…