A decision algorithm for sound and complete real-valued axiomatic logic. - View it on GitHub