3 ms·
>what else is Lisp being used for commonly these days? It is being used for formal verification in the semiconductor industry by companies like AMD, Arm, Intel
by mepian 2y ago
>what else is Lisp being used for commonly these days?
It is being used for formal verification in the semiconductor industry by companies like AMD, Arm, Intel, and IBM: https://www.cs.utexas.edu/~moore/acl2/ https://www.cs.utexas.edu/~moore/acl2/