1. 6
    ACL2 formalmethods lisp cs.utexas.edu
    veqq avatar via veqq 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments

  1.