Hypertext navigation of ACL2 proofs with XMLEye | Publicación