3 ms·

One biggest downfall of lisp is that people just call anything with parenthesized prefix notation "lisp".

• cmrdporcupine 5y ago
  Did you not read far enough to see that it runs a program (proof assistant) written for LISP 1.5 (1961)?