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=ThWF-V6IGxwJKUE05Gv4_qcGo2k2B1IqIt_92xn_fbI,15458
tinyprove/ir.py,sha256=jCnylwTu53sIVUAiCPg6hzPwteWOgf5FCM3Q8Jeu2yQ,2439
tinyprove/parser.py,sha256=cyM6qHqA2VQchSuBHuw0EZsMSfkHv-YtWo7mql1qvrc,8426
tinyprove-0.1.4.dist-info/METADATA,sha256=-JZ5s9dhyUM_Oj6lX2ZznK-kjVaHVt5DJzWs7a2qWLY,23902
tinyprove-0.1.4.dist-info/WHEEL,sha256=YCfwYGOYMi5Jhw2fU4yNgwErybb2IX5PEwBKV4ZbdBo,91
tinyprove-0.1.4.dist-info/top_level.txt,sha256=A7lFCZM_Mwdys_t2oaLuqYSXELBmC1eWBZWojLKOeuo,10
tinyprove-0.1.4.dist-info/RECORD,,
