EulerMoz - Inference Engine in Javascript

EulerMoz is an inference engine written in Javascript. Based on the original Euler proof mechanism.

> EulerMoz is an inference engine supporting logic based proofs based on EulerSharp project.
2 comments

Popular posts from this blog