leanfran/__init__.py,sha256=rbXGltYyOsZ40mfkDJODO3Nfwg_jA_A7AeS6-FiCZJo,173
leanfran/check.py,sha256=O82AVpmXOYP7wAAFzzyfdMQysGaQkkhHck_r1ULxFhs,11125
leanfran/cli.py,sha256=UGZ8LdqKPPDCLj9ZQenEJfUDeQAn_UHc0UdgObB-qyg,2615
leanfran/embed.py,sha256=hyUcRwhw2tTFQUYRW1F85wPi6Lpnb6Gyk9lxsBIzEps,4007
leanfran/io.py,sha256=Wlkt_h63RdVkQ_0_pdD8cHrQlS03T6YVW0f4DwZgcLQ,353
leanfran/io_externs.py,sha256=HDhVFIegH6H46utC16Q983A5ymCWWty7p6ulU8PJR6k,29804
leanfran/marshal.py,sha256=dX512Kwd76Qlk5d9ckL-S8xzqzj6i7EMQ4uOEdPyVqs,20878
leanfran/models.py,sha256=wunIZ9hOG-8H3shdRClLN7pR6Kmofo9zlPcL3Hr0rq0,10940
leanfran/runtime.py,sha256=nPC5aUKPX9WLF3VlYZdMRubVJkJ8eKh2vcWD8SwXQHo,28440
leanfran/sync.py,sha256=8fhXuwb_trxxFFiv2JL42C_pnYooFHGFDGwx9DH_HQA,9328
leanfran/translate.py,sha256=F0kmQONpg8EkLA4QOMi8pwaXQLnQ_MtvlUjLWvow8yc,20591
leanfran/types.py,sha256=qOhcwe1lYGD17OHW_A4LzfGi2bcPovTANTggaJwG-FM,843
leanfran/verify.py,sha256=tspHs8DPDOQLc2FU0wQoye-6wk9y3A9LkPdUKD-k3EQ,5526
leanfran/lean/LeanPythonLib/Py.lean,sha256=jAcU2Ad7uNZd5AyqTUTHg1GYGp9UGyATS_OgX8RWPRs,1659
leanfran-0.6.0.dist-info/METADATA,sha256=mCEzlZMZCqTC1bqkBw4EU47BZKtW97BzYjFn29AOVlc,17633
leanfran-0.6.0.dist-info/WHEEL,sha256=2iZrJkDIkeDh0k9SikKMqFuRP-ua6mb4Ir1AsER4BEw,87
leanfran-0.6.0.dist-info/entry_points.txt,sha256=COcWaxUSDdywOfyCH1MtwNxaj7XDfVni1GsS3rKL5c4,47
leanfran-0.6.0.dist-info/licenses/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
leanfran-0.6.0.dist-info/RECORD,,
