[ lenny ]

[ Source: cl-rsm-modal ]

Package: cl-rsm-modal (1.2)

Links for cl-rsm-modal

Debian Resources:

Download Source Package cl-rsm-modal:

Maintainers:

Similar packages:

McIntire's Common Lisp Modal Logic Library

This is R. Scott McIntire's Common Lisp modal logic library.

Tags: Software Development: Lisp Development, Libraries, Implemented in: Lisp

Other Packages Related to cl-rsm-modal

depends

recommends

suggests

dep: common-lisp-controller (>= 3.37)

Common Lisp source and compiler manager

rec: cl-ptester

Test suite for Common Lisp programs

Download cl-rsm-modal

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	8.4 kB	92.0 kB	[list of files]