References

1. ACL2 Community (Accessed: 2020): ACL2+Books Documentation. Available at http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index.html.
2. Robert S. Boyer & J Strother Moore (1984): A mechanical proof of the unsolvability of the halting problem. Journal of the ACM (JACM) 31(3), pp. 441–458, doi:10.1145/828.1882.
3. Warren A. Hunt Jr., Matt Kaufmann, Robert Bellarmine Krug, J. Strother Moore & Eric Whitman Smith (2005): Meta Reasoning in ACL2. In: Joe Hurd & Tom Melham: Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 163–178, doi:10.1007/11541868_11.
4. Sol Swords (Accessed: 2020): FGL source distribution. Available at https://github.com/acl2/acl2/tree/master/books/centaur/fgl.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org