Lisp

Potentially useful tools for Lisp implementations include ACL2 and PVS.