Validity checker of many-sorted first-order formulas with theories - View it on GitHub