(defthm svexlistlist-p-of-cdar-when-fnsym-svexlistlist-alist-p (implies (fnsym-svexlistlist-alist-p x) (iff (svexlistlist-p (cdar x)) (or (consp x) (svexlistlist-p ...

Hi, Everyone! Please note this week's activities around campus. Happy Literacy Week! It's Literacy Week! Lauren has planned some exciting events for each day. I've attached the schedule below.

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.