---

2.1 logicky-lisp

Evaluates and proves arguments in different formal logics.

Long Name

Logicky-Lisp

Author

Henrik Hörmann <leinfink@mailbox.org>

Home Page

Source Control

(GIT )

Bug Tracker

License

BSD-3-Clause

Version

0.0.1

Source

logicky-lisp.asd.

Child Component

src (module).