ryukinix/lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp

View project on GitHub

  • 2020-07-16 16:15:48 UTC - Planned check