Sign inSign up

ryukinix/lisp-inference

By ryukinix

•Updated 11 months ago

An Truth Table Web Application based on Propositional Calculus written in Common Lisp

Image
0

1.8K

Tags for ryukinix/lisp-inference

Sort by

TAG

latest

Last pushed 11 months by ryukinix

docker pull ryukinix/lisp-inference:latest
DigestOS/ARCHCompressed size

c5ec4569cf84

linux/amd64

190.95 MB

TAG

0.4.0

Last pushed about 1 year by ryukinix

docker pull ryukinix/lisp-inference:0.4.0
DigestOS/ARCHCompressed size

414cb75c8c5f

linux/amd64

176.29 MB

TAG

0.3.0

Last pushed about 1 year by ryukinix

docker pull ryukinix/lisp-inference:0.3.0
DigestOS/ARCHCompressed size

a2d3fde42a0f

linux/amd64

175.74 MB