# Source: acl2
# Package: acl2-infix
# Versions: acl2-infix (4.3-2), acl2-infix (4.3-3), acl2-infix (5.0-1), acl2-infix (6.0-1), acl2-infix (6.0-2), acl2-infix (6.1-1), acl2-infix (6.1-2), acl2-infix (6.1-3), acl2-infix (6.1-5), acl2-infix (6.2-5), acl2-infix (6.2-6), acl2-infix (6.2-7), acl2-infix (6.3-1), acl2-infix (6.3-2), acl2-infix (6.3-3), acl2-infix (6.3-4), acl2-infix (6.3-5), acl2-infix (6.3-6), acl2-infix (6.4-1), acl2-infix (6.4-2), acl2-infix (6.4-3), acl2-infix (6.4-4), acl2-infix (6.5-1), acl2-infix (6.5-2), acl2-infix (6.5-3), acl2-infix (6.5-4), acl2-infix (6.5-5), acl2-infix (7.0-1), acl2-infix (7.1-1), acl2-infix (7.1-2), acl2-infix (7.1-3), acl2-infix (7.1dfsg-1), acl2-infix (7.1dfsg-2), acl2-infix (7.2dfsg-1), acl2-infix (7.2dfsg-2), acl2-infix (7.2dfsg-2+b1), acl2-infix (7.2dfsg-3), acl2-infix (7.4dfsg-1), acl2-infix (7.4dfsg-2), acl2-infix (7.4dfsg-3), acl2-infix (7.4dfsg-3.1), acl2-infix (7.4dfsg-4), acl2-infix (8.0dfsg-1), acl2-infix (8.0dfsg-1+b1), acl2-infix (8.1dfsg-1), acl2-infix (8.1dfsg-2), acl2-infix (8.1dfsg-3), acl2-infix (8.1dfsg-3+b1), acl2-infix (8.1dfsg-4), acl2-infix (8.2dfsg-3), acl2-infix (8.3dfsg-1), acl2-infix (8.3dfsg-2), acl2-infix (8.3dfsg-3), acl2-infix (8.3dfsg-4), acl2-infix (8.4dfsg-1), acl2-infix (8.4dfsg-2), acl2-infix (8.5dfsg-1), acl2-infix (8.5dfsg-2), acl2-infix (8.5dfsg-3), acl2-infix (8.5dfsg-4), acl2-infix (8.5dfsg-5), acl2-infix (8.5dfsg-5+b1), acl2-infix (8.5dfsg-5+b2), acl2-infix (8.5dfsg-6), acl2-infix (8.6+dfsg-2), acl2-infix (8.6+dfsg-3), acl2-infix (8.6+dfsg-3+b1), acl2-infix (8.7+dfsg-2), acl2-infix (8.7+dfsg-3)
# This Description is active
# Prioritize: 48
Description: Computational Logic for Applicative Common Lisp: infix interface
 ACL2 is both a programming language in which you can model computer
 systems and a tool to help you prove properties of those models.
 .
 This package contains utilities and libraries to access ACL2 via an
 infix notation similar to that used in many non-lisp programming
 languages.
Description-ko: <trans>
 ACL2는 컴퓨터 시스템 모델을 만드는 프로그래밍 언어이자 이 모델의 속성을 증명하는 도구입니다.
 .
 이 패키지에는 lisp이 아닌 여러 가지 프로그래밍 언어에서 쓰이는 것과 비슷한
 중위 표기법을 통해 ACL2에 접근하는 유틸리티와 라이브러리가 들어있습니다.

# other Descriptions of the acl2-infix package with a translation in ko:
# 
# Description-id: 55 https://ddtp.debian.org/ddt.cgi?desc_id=55
# patch https://ddtp.debian.org/ddt.cgi?diff1=55&diff2=126586&language=ko
# This Description was in wheezy from 2011-02-12 to 2012-01-22;
# This Description was in etch from 2005-07-16 to 2011-07-22;
# This Description was in squeeze from 2009-06-09 to 2014-07-22;
# This Description was in lenny from 2007-06-14 to 2011-07-22;
# This Description was in sid from 2005-07-16 to 2012-01-22;
#