lanky/__init__.py,sha256=2R3uShu1bGqrirfm0UKtp8qWWJCpRj5z5gKeKUGJcjU,3213
lanky/cas.py,sha256=D8yEhatsjxYZmxAaK6uKjZcgjWt6inkkAibB33h9z3A,21646
lanky/check.py,sha256=GfxNleTTSRABEjM6eSlIpy-qjNYoVyfl-vimQiTzmeo,60683
lanky/cli.py,sha256=e5LS4goqBK28dhR1SDKuAPW4_7pWKtFTdtt0PMn4-sE,78636
lanky/deadline.py,sha256=S3JwtqYuX7Qp4FHKoIttdnn4tNr35owUhWOmNHm0mM0,3888
lanky/faithful.py,sha256=qafeIhn1dAGmAbjegvcDe4v4Q8CF1nhqzAPze5JGl_0,153273
lanky/induction.py,sha256=RfElPSZ-oeHsTJYAVMbDSE11hgCjz8w74NBUfoiBY7I,37512
lanky/intervals.py,sha256=qStCe79LatxOIWJBLU7WqXs44bsDTyKGgkSiqmS30rI,66981
lanky/lean.py,sha256=DNbXAiRgpBHso0FwAuSsqxU6YZHwVcUTa1eewg2GqCo,119945
lanky/ledger.py,sha256=1upxiw9nBN4QBNYoy6oF1bjiSYSDO0qnh4g9OgAdo2k,38996
lanky/mathlib.py,sha256=MTOOeZZc6_eGa-Ir5sA_yg_37qKmr0v7xYNxTdJh4ew,12154
lanky/obligations.py,sha256=TR-KfwIzsgBs4xtaHAw4v873g4a5-GlfWgdKpBwH0kw,58024
lanky/plugins.py,sha256=mI6E4VCQLItjr76tnAVAt50GEJUn1qRpWsiNKdkaqK8,13615
lanky/prelude.py,sha256=7bwBF9LNsv_oMlv--7b8LScYwO-SMJthCVNmpQmOsLE,19268
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/sums.py,sha256=JFeBDuQjP3O-z2kS01dmZCRGbIxOxpJtzl3DcjPSUsg,14719
lanky/terms.py,sha256=7NqlnoORAko7Lv1CW0VsO2e1bPOWrNpupTe5bDKioxA,152010
lanky/testing.py,sha256=XHJCkt9TNLAnyc40OYEESLCk3nOFpcXEfrysoWPPSk4,63946
lanky/theory.py,sha256=F2h_kD0c38BxDVGxetWmqWqkzzmreK9fnT4aPb_eut0,37906
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=BA6R6KsM0Wo32m-I3ld4gj-7txo0tGzWla2mwkoXJAA,192841
lanky/oracles/test.py,sha256=OS2GAWtpghDIEzkEi-xaKEplcvUkuyxoZeY9GLnwSUI,6400
lanky-0.4.0.dist-info/METADATA,sha256=2zePCy-G4p0hnerHilI1HK_3602ZVC4ndulqxAsLnGo,58598
lanky-0.4.0.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
lanky-0.4.0.dist-info/entry_points.txt,sha256=DORSJ6yxLwRQtbwqoYypGvuC5Y4bvbEV_Qb7JZBBQg4,81
lanky-0.4.0.dist-info/licenses/LICENSE,sha256=gfdUMiUhuXDDydsZXcgaYPhlkHdRvzkRwRNqlDwe_ZI,1067
lanky-0.4.0.dist-info/RECORD,,
