Versions Packages Information History Badges Report

Information for acl2

Versions

  • 8.4 (2)
  • 8.3 (6)
  • 8.2
  • 8.0
  • 7.2
  • 7.1
  • 6.5
  • 6.3
  • 4.2

Package names

  • acl2 (5)
  • sci-mathematics/acl2

Repositories

Categories

  • math (2)
  • misc
  • sci-mathematics
  • universe/math

Licenses

  • BSD (3)
  • BSD-3-Clause
  • CC0-1.0
  • GPL-2.0
  • Lisp LGPL; GNU Lesser General Public License version 2.1 with Franz Inc. preamble for clarification of LGPL terms in context of Lisp
  • MIT
  • Public Domain
  • Unfree redistributable