EulerSharp 10.16.15 screenshot Euler is an inference engine supporting logic based proofs. Download EulerSharp 10.16.15