lanky/__init__.py,sha256=o9hnXF6eu8aePLUP6OUmZaly318qol9TuywywNp1vmQ,3147
lanky/cas.py,sha256=ShNL-37sQmKQE4_4ZUKSb0hIdbe9-POhtNqwViUBt2A,18222
lanky/check.py,sha256=2JaH1_LbQ-anJgGB_E_sLstdMWaQptaVMFcZvby3asc,50209
lanky/cli.py,sha256=gW4nxEvC6imET0X3UYMRYUzeoVeDtdzS1y0OzqHhSOQ,51282
lanky/induction.py,sha256=aP5dKGoWJbud_lwPe_JYop8ph1LBip1Xe9I8fwzmqqY,30634
lanky/intervals.py,sha256=FxfieXknT6FH9_hMLE_SnDkv_dFgxt1L1oeUoHdQrLc,64422
lanky/lean.py,sha256=aBH3rEOE90G811JGF-Y0blvsDyHZsBJPXaGBZoSp0Ow,106637
lanky/ledger.py,sha256=Lp_6QIHOFYml2X6-D24HFDXKkwKtxXc9HuaQT_PcV-A,26755
lanky/mathlib.py,sha256=NAeHbLsswA5jYOvw0tzPps53mKxuZvikGAygYo3Utb8,8010
lanky/plugins.py,sha256=P9gl3Sxbup5HBK6jLSRga87Ry4Q0C0FGkf6kCKfqDJM,13321
lanky/prelude.py,sha256=jhcYzHxsKIRrgCK8ZFBThzvKvCz6qge5bTdXwRogoX4,15992
lanky/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
lanky/pytest_plugin.py,sha256=casYQwuhzR0jbdnqyumYFdGlbaUroJFlzrTrBPZdfNA,4100
lanky/rewrites.py,sha256=yan8CwQKSTfiqmGBcOPrTAgJILsUqAasTLpzpqRO0g4,11040
lanky/semantics.py,sha256=oA2y1qeBaRSHAA4CvaHON7L7pg2E10gJMquSVL2qVwg,11862
lanky/terms.py,sha256=KgzDtmuxLpU0gtULHtnadZzXuSr5NTxLhg6Z0TMhM_4,124936
lanky/testing.py,sha256=iCkRG_3OTIq-MK84H5jzYxkcptL50Mgx66usNLTyfXQ,57300
lanky/theory.py,sha256=_qErfvlWyAp9wxguviUGVKYV19JquXysHg8nzXPLiO8,27543
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=MJyFj0TLqXaE3YAAGcbwb1CCzMvap1r2Ie-NLFm-L4U,9865
lanky/oracles/lean.py,sha256=8ZtFL_Ql2u6ohcB8MA_Dd3-SuhX2GO9C6HsB7JMO2-0,87117
lanky/oracles/test.py,sha256=OS2GAWtpghDIEzkEi-xaKEplcvUkuyxoZeY9GLnwSUI,6400
lanky-0.1.0.dist-info/METADATA,sha256=f2LLdzB3K7q0-_a33FOrE3A5LmFjIY3F4FbqatRcyzA,38056
lanky-0.1.0.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
lanky-0.1.0.dist-info/entry_points.txt,sha256=DORSJ6yxLwRQtbwqoYypGvuC5Y4bvbEV_Qb7JZBBQg4,81
lanky-0.1.0.dist-info/licenses/LICENSE,sha256=gfdUMiUhuXDDydsZXcgaYPhlkHdRvzkRwRNqlDwe_ZI,1067
lanky-0.1.0.dist-info/RECORD,,
