atp-0.1.0.0: Interface to automated theorem provers

Index - ~

~=ATP.FOL, ATP