lanky/__init__.py,sha256=gYTL3eTfZVUnz3IL4QxTtdY2-ZmJvpFeZ366yJD-tn4,3213
lanky/cas.py,sha256=D8yEhatsjxYZmxAaK6uKjZcgjWt6inkkAibB33h9z3A,21646
lanky/check.py,sha256=UuxZ3VhEPeQTqEG7I42o7NrOFzZzKJ2VrBnl5XhN1yk,55843
lanky/cli.py,sha256=cUmL0A_0aYdSu_9mnSgzCBk6Su6wn39EVpR3xa4p1f4,72234
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=2qxUheJqsvFtofaRUkS1nCtX_KP5EOxHK6cNMmOTIAI,8523
lanky/obligations.py,sha256=TR-KfwIzsgBs4xtaHAw4v873g4a5-GlfWgdKpBwH0kw,58024
lanky/plugins.py,sha256=P9gl3Sxbup5HBK6jLSRga87Ry4Q0C0FGkf6kCKfqDJM,13321
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=l7ECg7SavgvCoUgUyc24-Qh-BfvluIgQY13fZvaGDhY,147724
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=UeCZudsCUdvf557vtp8H8XAhqvdB1cpUF31lkuC8bPg,165642
lanky/oracles/test.py,sha256=OS2GAWtpghDIEzkEi-xaKEplcvUkuyxoZeY9GLnwSUI,6400
lanky-0.3.0.dist-info/METADATA,sha256=K-EP02vqdRmhtxG_bE-fd3VM1M9gKIM93DENtBIMCvk,57130
lanky-0.3.0.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
lanky-0.3.0.dist-info/entry_points.txt,sha256=DORSJ6yxLwRQtbwqoYypGvuC5Y4bvbEV_Qb7JZBBQg4,81
lanky-0.3.0.dist-info/licenses/LICENSE,sha256=gfdUMiUhuXDDydsZXcgaYPhlkHdRvzkRwRNqlDwe_ZI,1067
lanky-0.3.0.dist-info/RECORD,,
