Lisp Ireland Monthly Meetup

Rafael Sadykov presents the talk "Lisp & Hardware Verification with ACL2".

Join our Lisp meetup to learn about using ACL2 for hardware verification. We'll show how ACL2 helps in ensuring hardware design. This is for anyone interested in Lisp's practical applications.