1. Home
  2. Jared Davis

Jared Davis

  • A
    Meer

    ACL2 3.2.1

    Jared Davis - Open Source -
    ACL2 is a powerful software application created by Jared Davis that is widely used in the field of formal verification and automated reasoning. meer info...