tinyprove/__init__.py,sha256=vn7Dg6XlKOjzhDso9piaDpMSnZet_Ndaj1UdSt01ZI0,593
tinyprove/axiom_defs.py,sha256=IFt-3SVzLA2O2J97MMG1DpjmzCD3uyW7KYaCocsmw1s,1517
tinyprove/core.py,sha256=U8NZF4PYevgNitpDQI6mn4xgmgaDGNwreWIuVWiJR2U,11030
tinyprove/inductive.py,sha256=ngKkFoMHYCVuWwr4_Se-xLa5lwnQtAXlg9PwKuQPHt0,14728
tinyprove/ir.py,sha256=jCnylwTu53sIVUAiCPg6hzPwteWOgf5FCM3Q8Jeu2yQ,2439
tinyprove/parser.py,sha256=cyM6qHqA2VQchSuBHuw0EZsMSfkHv-YtWo7mql1qvrc,8426
tinyprove-0.1.3.dist-info/METADATA,sha256=pyXqwVUVV0ARniPg5-EOyqG3ULWBeNhWIyisUvSzH7M,23902
tinyprove-0.1.3.dist-info/WHEEL,sha256=wUyA8OaulRlbfwMtmQsvNngGrxQHAvkKcvRmdizlJi0,92
tinyprove-0.1.3.dist-info/top_level.txt,sha256=A7lFCZM_Mwdys_t2oaLuqYSXELBmC1eWBZWojLKOeuo,10
tinyprove-0.1.3.dist-info/RECORD,,
