EulerSharp 10.16.15 screenshot

EulerSharp 10.16.15 full

Euler is an inference engine supporting logic based proofs.