Agent have a comment, debug, trace method to write formated on the console
Agent have a comment, debug, trace method to write formated on the console

lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III