2 ms·
As a good example of what Common LIsp can do in real life: https://en.wikipedia.org/wiki/ACL2 https://en.wikipedia.org/wiki/ACL2 On more mundane software, bot
by anthk 2mo ago
As a good example of what Common LIsp can do in real life:
https://en.wikipedia.org/wiki/ACL2 https://en.wikipedia.org/wiki/ACL2
On more mundane software, both Maxima and FriCAS are good examples (Math CAS).
On games/engines, there's Kandria.