Kudos to @phoe for their work implementing package-local nicknames for CCL

@PuercoPop It's not just me - pfdietz also did his share of work by extending to help test implementations in general.

@PuercoPop Also kudos go to rme for managing the whole thing from the maintenance point of view, and to Matt Kaufmann for testing the changes against ACL2 that he helps maintain.

@PuercoPop It's a team effort, and I do not think I could have done it alone like that.

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!