lp2/__init__.py,sha256=mFt_vfqsYomFm9A23KbOJW3HabctO8GLMeQlAf3uf-0,1330
lp2/__main__.py,sha256=o0l6RMTzC0ztUHkQLxtYoSAP3GAJiLhmUm0CfbBruRs,82
lp2/cli.py,sha256=jUJeGn22tR1P74nKVIUry1YpGuKzunUFge_GTv5INso,2706
lp2/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
lp2/ast/__init__.py,sha256=2TcGnYgb-2-yakCLxGfn6Wn9lbbm60hzCFZmrktA-vY,51
lp2/ast/lean4_ast.py,sha256=D7xEXYFB5XE0AzHIrwaHqBgS1sufctKuZeoI50ygkUU,5588
lp2/ast/python_ast.py,sha256=GAfbOSjmP6IBpSWBJDd52ZSgmIu0NMO-a3cHUom3U58,5123
lp2/codegen/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
lp2/codegen/lean4_codegen.py,sha256=4FFK8oyFCwkUu8oya-auliJ2ghI6zT_lYT0tHuq8viw,13789
lp2/codegen/python_codegen.py,sha256=OiYBRJiess8fUhgPyp7PtxKRKV7SsqPYxLhyoW9evQI,15398
lp2/parser/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
lp2/parser/lean_lexer.py,sha256=3iP_Np1zuD9EB1vWcbAX3LUvsgxWKvnI7BxbfRU3wE4,9781
lp2/parser/lean_parser.py,sha256=HdT4ZvR3oSaCxLn-qc68Ce4ro4BsTiywbqpK3SzJLig,28694
lp2/parser/python_parser.py,sha256=ZW4DafxGTY7qBI4Xsyw4ZpykEWg1p1lLiXNEhkX5ChI,15794
lp2/transpiler/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
lp2/transpiler/lean4_to_python.py,sha256=QEhQ0uqJM5RUdDRFCghwhV0TBYed9ZWpNlJDAj46y0M,14348
lp2/transpiler/python_to_lean4.py,sha256=GEe54arImjRyvQfAKHFRJ2R_-TzIyPJoB3EXhIoIQAI,17713
lp2-0.1.0.dist-info/METADATA,sha256=1LxqFL34Ro9DpGCoTUI_QYuvFM4aUa--Mh9-fZWD1n4,3253
lp2-0.1.0.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
lp2-0.1.0.dist-info/entry_points.txt,sha256=RUlXHHRJDUFKiW8YCu-OtjHAAKtC1B_ONFM64sw5T6E,42
lp2-0.1.0.dist-info/licenses/LICENSE,sha256=bTWQfYqmcLALgq7iJqfqLfSkayZj8Ei8MhgwZPpq2cQ,1070
lp2-0.1.0.dist-info/RECORD,,
