lanky/__init__.py,sha256=Gn4ugL6J9At9fdzsG0_qBRT7LqDeB0NyUTdwsw5YI8Q,3147
lanky/cas.py,sha256=XXxKv59i51AJuB8i4gQhGi6yo0suP1IyzBoigx9YGcg,21351
lanky/check.py,sha256=a4s5VkDTYw3TiauS_vzewWmaKt_Rl2_2faHKKXIVM40,54448
lanky/cli.py,sha256=O1nwwbuL3Zeu-HXrutkYn9x2qYA12edH-GTlGc5MdQ4,51872
lanky/deadline.py,sha256=S3JwtqYuX7Qp4FHKoIttdnn4tNr35owUhWOmNHm0mM0,3888
lanky/faithful.py,sha256=kwqqzKQBl44qSmBUZz3Ys9S0ygOP18K8QE-ZB5bwAEI,152895
lanky/induction.py,sha256=aP5dKGoWJbud_lwPe_JYop8ph1LBip1Xe9I8fwzmqqY,30634
lanky/intervals.py,sha256=BhSr2TZEDgNkdNT1UQt6tR4PJagYq_zPRK90e914O88,66118
lanky/lean.py,sha256=aBH3rEOE90G811JGF-Y0blvsDyHZsBJPXaGBZoSp0Ow,106637
lanky/ledger.py,sha256=54mDdmk9mCgiUveazWuDGNhng0aXyqoGKUE5Yh3C2JU,28086
lanky/mathlib.py,sha256=NAeHbLsswA5jYOvw0tzPps53mKxuZvikGAygYo3Utb8,8010
lanky/plugins.py,sha256=P9gl3Sxbup5HBK6jLSRga87Ry4Q0C0FGkf6kCKfqDJM,13321
lanky/prelude.py,sha256=WX8imJTXCRCOvf_GoptJj1ce6NTPN4ucMqL_79422Rs,16777
lanky/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
lanky/pytest_plugin.py,sha256=5ntaqX4zq0lul6Lu28VfOq944CcE87wp0ld9Nz2YVuI,5093
lanky/rewrites.py,sha256=yan8CwQKSTfiqmGBcOPrTAgJILsUqAasTLpzpqRO0g4,11040
lanky/semantics.py,sha256=oA2y1qeBaRSHAA4CvaHON7L7pg2E10gJMquSVL2qVwg,11862
lanky/terms.py,sha256=yPRv6nSc5hAuOHyIzgomzKZ0lQB19fMMacy1F9IXddo,142207
lanky/testing.py,sha256=BF5ej1PTra53ghz2q_WsD_pdfnpHuejeULtMYXvPEak,59431
lanky/theory.py,sha256=H7DhvpNDdxJYnf4ueHnbvG6aeq7RUl0G_-BLXOEPGnU,30829
lanky/mathlib-project/lake-manifest.json,sha256=t_7loofimE1ybwV3p3J6e7WNS5YkGl837LP_yVdFT58,3121
lanky/mathlib-project/lakefile.toml,sha256=KtzNpn92Ppn7tBCqjXzmWsx4lSaIgkFiOB98RrVeVQU,656
lanky/mathlib-project/lean-toolchain,sha256=fcAAYh4ARtGq2oCeK3F35kRUZFz0x0Hp2q95yZ7C56I,25
lanky/oracles/__init__.py,sha256=BnAzl-tc8gKdxU7pPKdXxReA6Y1qMg6igOX4laTHwDE,1120
lanky/oracles/cas.py,sha256=1yuEWda88Vevcio0A361N4R7mVxXBFASPhPkBq7S-ww,10515
lanky/oracles/lean.py,sha256=fCsfYoUzrH38OwFKWM_EKYMlObKK18EGkVl7f05nhyg,96532
lanky/oracles/test.py,sha256=OS2GAWtpghDIEzkEi-xaKEplcvUkuyxoZeY9GLnwSUI,6400
lanky-0.2.0.dist-info/METADATA,sha256=Q81xb0ocr3hpghLHnlpUcm3Thp0lj2MKE_IbZxMwj0g,45089
lanky-0.2.0.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
lanky-0.2.0.dist-info/entry_points.txt,sha256=DORSJ6yxLwRQtbwqoYypGvuC5Y4bvbEV_Qb7JZBBQg4,81
lanky-0.2.0.dist-info/licenses/LICENSE,sha256=gfdUMiUhuXDDydsZXcgaYPhlkHdRvzkRwRNqlDwe_ZI,1067
lanky-0.2.0.dist-info/RECORD,,
