/* <module> logicmoo_tptp - allows logicmoo engine to compare itself to LeanCop 2.1
%
% Maintainer: Douglas Miles
% Dec 13, 2035
%
*/
:- module(logicmoo_tptp,[]).
      
:- fixup_exports.