Yes, it's not exposed because this is a WIP project. My final mission would be have a function called prove that will try N inference and equivalence rules to p

Yes, it's not exposed because this is a WIP project. My final mission would be have a function called prove that will try N inference and equivalence rules to prove a conclusion given a set of premisses. https://github.com/ryukinix/lisp-inference/issues/2 https://github.com/ryukinix/lisp-inference/issues/2 BTW, Cool project written in Dart!!! I'll take as reference. Thanks for the feedback. The UX of [3] it's awesome too!