Versions Packages Information History Badges Report

Information for acl2

Versions

  • 8.5dfsg
  • 8.5 (2)
  • 8.4dfsg
  • 8.4 (2)
  • 8.3dfsg
  • 8.3 (4)
  • 8.2dfsg
  • 8.0dfsg
  • 7.2dfsg
  • 7.1
  • 6.5
  • 6.3
  • 4.2

Package names

  • acl2 (6)

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

Summaries

  • ACL2 theorem prover.
  • An interpreter and a prover for a Lisp dialect
  • Applicative Common Lisp / A Computational Logic
  • Industrial strength theorem prover
  • Logic and programming language in which you can model computer systems

Maintainers

All package recipes

Downloads