~lobsters | Bookmarks (1)

clear filters

hardware × lisp ×

Lisp Ireland, February 2024 Meetup - Lisp & Hardware Verification with ACL2

youtube.com

formalmethods hardware lisp science & technology video
1