lp2/__init__.py,sha256=SZIREjQUEDciC_7De4_gEBwKzTreYNNIJUIUqqT2QY4,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=KOGAUg8OJchWZgPIQBIw5b11vr1WET5NeAWjeIiOjcs,5868
lp2/ast/python_ast.py,sha256=1-GtnpzniwH4Kgtl4F7vgRDBMH4s32tc8fYqObqEzho,5122
lp2/codegen/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
lp2/codegen/lean4_codegen.py,sha256=rCFwa0izsANaAsLrsWRxJm-DWljJtPEGt1wAfFO_qtI,14570
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=UDf7iTIJtc_L2QNeY64lGWNruqonFA-CcbI1Alh8jRg,16547
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=RcTHPUyq6KlpuvaqbR2N-QqS64jbeBhgH0s6lXvqiy8,48063
lp2-0.1.1.dist-info/METADATA,sha256=5sE-GxCr9I6zWM15rl06neL-DDq2kau_JwuzdTIPp98,6456
lp2-0.1.1.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
lp2-0.1.1.dist-info/entry_points.txt,sha256=RUlXHHRJDUFKiW8YCu-OtjHAAKtC1B_ONFM64sw5T6E,42
lp2-0.1.1.dist-info/licenses/LICENSE,sha256=bTWQfYqmcLALgq7iJqfqLfSkayZj8Ei8MhgwZPpq2cQ,1070
lp2-0.1.1.dist-info/RECORD,,
