References

1. ACL2 Community (Accessed: 2018): ACL2+Books Documentation. Available at http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index.html.
2. The Coq Development Team (2018): The Coq Proof Assistant Reference Manual, 8.8 edition. Available at http://coq.inria.fr/distrib/current/refman/index.html.
3. Michael Norrish & Konrad Slind (2018): The HOL System Description, 3rd edition. Available at http://hol-theorem-prover.org.
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 http://isabelle.in.tum.de/dist/Isabelle2017/doc/isar-ref.pdf.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org