lean4check/__init__.py,sha256=Mt4QktPG2G9eEA2z9ODfWCrvG339QXHfYqfFzE1gkFU,83
lean4check/main.py,sha256=Ala-b2YuwMWmz1HItHMWr4JUCFWdSK4uNnp16-e03Q4,10964
lean4check-0.1.0.dist-info/licenses/LICENSE,sha256=9Mt5iolKareLx02kET8Xrn81wy95PGY-ubrGsfBeDPI,1066
lean4check-0.1.0.dist-info/METADATA,sha256=aStEK29aihK4Dea7fX93Q_IVmbz8kFGrukle2VKXDfQ,766
lean4check-0.1.0.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
lean4check-0.1.0.dist-info/entry_points.txt,sha256=CfcRYWoBXI6tR6beFr-WzQCit_wXuhFOmFfgeOprVHU,52
lean4check-0.1.0.dist-info/top_level.txt,sha256=Bi4m7HTbPT1-CLwnfYqklWOMUI6kCb5kdcHp87cI--Q,11
lean4check-0.1.0.dist-info/RECORD,,
