ACL2 (via veqq) — discussion

#formalmethods #lisp