After some trials, finally got Kenzo to run on Mac:
First download it from (https://github.com/gheber/kenzo). Quicklisp needs to be installed and loaded first.
Type:
(ql:quickload :kenzo)
followed by
(in-package “CAT”)
followed by any Kenzo commands.
Screenshot:
Mathtuition88 