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.

Popular posts from this blog

Lists and arrays in Dart

Converting Array to List in Scala

Null-aware operators in Dart