issues
search
ryukinix
/
lisp-inference
An Inference Engine based on Propositional Calculus written in Common Lisp
https://logic.manoel.dev
BSD 3-Clause "New" or "Revised" License
40
stars
1
forks
source link
Hotfixes after the new release
#16
Closed
ryukinix
closed
5 years ago
ryukinix
commented
5 years ago
Problem related to package symbol namespaces
output-stream
weird behavior at main of truth-table
Preposition being wrong exported