acl2 software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS | GeneralLiterature_REFERENCE(e.g.,dictionaries,encyclopedias,glossaries)

ACL2 System and Books as Maintained by the Community
Share - Bookmark