Geek Repo
Location:Austin, TX
Home Page:http://cs.utexas.edu/~moore/acl2/
Github PK Tool:Github PK Tool
ACL2 System and Books as Maintained by the Community
Papers and presentations from workshops, seminars, etc.