theoremdb/__init__.py,sha256=0aBtDrRC82kfvyY1kruDFjemzIhfIj3AT5cn684NRwI,536
theoremdb/client.py,sha256=xeuiLCv1Hezb8yLduIVT2l0P9iqj6D6bCxOI3bWOaz0,8326
theoremdb-0.2.0.dist-info/METADATA,sha256=FVzLD9w1RZ-SbYncD5Cdp1jWgcU2MYXpZfv5rxf88oE,2599
theoremdb-0.2.0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
theoremdb-0.2.0.dist-info/licenses/LICENSE,sha256=cOYyInM2oR5U1Xe9xTKfccZz9OaqIvp6HhoiMyO_opk,1069
theoremdb-0.2.0.dist-info/RECORD,,
