Information on MetaLogic Inference is at https://savannah.gnu.org/projects/metalogic-inference/.