tinyprove/__init__.py,sha256=vn7Dg6XlKOjzhDso9piaDpMSnZet_Ndaj1UdSt01ZI0,593
tinyprove/axiom_defs.py,sha256=IFt-3SVzLA2O2J97MMG1DpjmzCD3uyW7KYaCocsmw1s,1517
tinyprove/core.py,sha256=lX2xDwdpZMufxSTVukCPhtZu0dkx2q8Ig3tWvCeWCKU,11682
tinyprove/inductive.py,sha256=cpDYPWYZvx0lKw-ggSpb2IYsnPb3L0VDAU8sZAqlC1c,15685
tinyprove/ir.py,sha256=jCnylwTu53sIVUAiCPg6hzPwteWOgf5FCM3Q8Jeu2yQ,2439
tinyprove/parser.py,sha256=cyM6qHqA2VQchSuBHuw0EZsMSfkHv-YtWo7mql1qvrc,8426
tinyprove-0.1.5.dist-info/METADATA,sha256=l99LJlK_afFuD-YCo4JV6dNyGQ6IZnpyIm-fyfOrufM,23902
tinyprove-0.1.5.dist-info/WHEEL,sha256=YCfwYGOYMi5Jhw2fU4yNgwErybb2IX5PEwBKV4ZbdBo,91
tinyprove-0.1.5.dist-info/top_level.txt,sha256=A7lFCZM_Mwdys_t2oaLuqYSXELBmC1eWBZWojLKOeuo,10
tinyprove-0.1.5.dist-info/RECORD,,
