Comment by cmrx64

thank you for sharing this story :) I’ve recently been enthralled with ACL2