lp2/__init__.py,sha256=IIy1bWyznj_U-DZM6u9LSoCz34uWSlO-KrYDH9BuWpY,1330
lp2/__main__.py,sha256=o0l6RMTzC0ztUHkQLxtYoSAP3GAJiLhmUm0CfbBruRs,82
lp2/cli.py,sha256=yKhmJpNlxHyVybD7P91Vlw0uZuSsDOq0ip9wsBL3ASw,2706
lp2/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
lp2/ast/__init__.py,sha256=jRIPtbiRkss45fpCwVPoEWmLnwVm09zgcgp9fJXyzEI,51
lp2/ast/lean4_ast.py,sha256=1vw51AAREcg5F9xks298wEoarVriv-fwsR18E4L7wWE,6065
lp2/ast/python_ast.py,sha256=xfQsIIGqabr3RTwi6NeOXpaYw7WLHbSdEbIGLICmbNU,5372
lp2/codegen/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
lp2/codegen/lean4_codegen.py,sha256=BHwRG6p1vyBYOUacgYpvsvZqfUpbHgBAAqo5-_-NxHI,14999
lp2/codegen/python_codegen.py,sha256=QIFEr_B-1wl6B0VRv4io0rRcXaAF7-aOAX5CeKifElk,15619
lp2/parser/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
lp2/parser/lean_lexer.py,sha256=t2WUdJ8foHC3_tLXpI71v6BPmwozSIEbxTIyNzQgImY,10174
lp2/parser/lean_parser.py,sha256=lYT8R_eocVSH1V34e8SKBijQ8rVJnbDWOrX_P4z22bc,31189
lp2/parser/python_parser.py,sha256=tUts8HS8XbqtENdbmRAecItrbuHs8ZXJfB4BQCUjBLI,18389
lp2/transpiler/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
lp2/transpiler/lean4_to_python.py,sha256=WlZbCUjv5n6sr_7xXAP4qT5z96FQqcNF6GK70GJEn4U,14672
lp2/transpiler/python_to_lean4.py,sha256=K9W9CoiLIsAQD15SH32q3hUCqQwaEOZ6Io81eZtLUTQ,61871
lp2-0.1.2.dist-info/METADATA,sha256=ijQlIjCWTcZ4fMpRIfB9-jc7nZcKy5N7YTDg9ZXR3OI,8826
lp2-0.1.2.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
lp2-0.1.2.dist-info/entry_points.txt,sha256=RUlXHHRJDUFKiW8YCu-OtjHAAKtC1B_ONFM64sw5T6E,42
lp2-0.1.2.dist-info/licenses/LICENSE,sha256=bTWQfYqmcLALgq7iJqfqLfSkayZj8Ei8MhgwZPpq2cQ,1070
lp2-0.1.2.dist-info/RECORD,,
