Y
Hacker News
new
|
ask
|
show
|
jobs
by
rpdillon
3327 days ago
I wouldn't be so sure. ACL2 is written in LISP.
http://www.cs.utexas.edu/users/moore/acl2/