1. ACL2 Community (Accessed: 2018): ACL2+Books Documentation. Available at
  2. The Coq Development Team (2018): The Coq Proof Assistant Reference Manual, 8.8 edition. Available at
  3. Michael Norrish & Konrad Slind (2018): The HOL System Description, 3rd edition. Available at
  4. Jun Sawada (2000): ACL2 Computed Hints: Extension and Practice. Technical Report TR-00-29. The University of Texas at Austin, Department of Computer Sciences. ACL2 Workshop 2000 Proceedings, Part A.
  5. Makarius Wenzel (2017): The Isabelle/Isar Reference Manual. Available at

Comments and questions to:
For website issues: