Highly Influenced

# Proof assistants : History , ideas and future

@inproceedings{Geuvers2008ProofA, title={Proof assistants : History , ideas and future}, author={Herman Geuvers}, year={2008} }

- Published 2008

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