# Theorem Proving

## References

- Ringer et. al, “QED at Large: A Survey of Engineering of Formally Verified Software”, 2019
- Harrison, Urban, and Wiedijk, “History of Interactive Theorem Proving”, 2014
- https://hol-theorem-prover.org/hol-course.pdf

- Ringer et. al, “QED at Large: A Survey of Engineering of Formally Verified Software”, 2019
- Harrison, Urban, and Wiedijk, “History of Interactive Theorem Proving”, 2014
- https://hol-theorem-prover.org/hol-course.pdf