paperproof_mcp/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
paperproof_mcp/__main__.py,sha256=UQdCTXp3LS0TaNjJCPXWJJcmduY__ZnrDHAFK3UZKEw,106
paperproof_mcp/converter.py,sha256=iDi7Nvfr4Jwz-LWWOoptAw_oOzgolsbTX1RCcE7eetU,14343
paperproof_mcp/infoview.py,sha256=JubwQngGlEAucyNAC8omUP3OHtnDrtSskI9ngawMHrI,1756
paperproof_mcp/lean_runner.py,sha256=6A-yOe9gl71afImbEmnctL8idl54eg1ML20p2qmnaK8,8766
paperproof_mcp/natural.py,sha256=hUg5OTgj_8rdZClmG3Lf3_gQJLDYNEkd_Fgx2BmB-GE,6755
paperproof_mcp/server.py,sha256=OHMbMump8TlGRHpUwmGRiaDIObjK0JARs7nvavieh0I,7777
paperproof_mcp/lean_parsers/v4.25.0.lean,sha256=bheFUfBOYGshJFkB6Co9w-N5o3OTndBdx3vAN2Vs5ww,21747
paperproof_mcp/lean_parsers/v4.27.0.lean,sha256=wzfM9ryQ8UxCNIq3NTOgXw-PY0OhqwrAiomk0C1grUE,21808
paperproof_mcp-0.1.1.dist-info/METADATA,sha256=38WZY4jGIsl0Afga23GBJjAu9FJ7cUSix_6PBx5sn34,7910
paperproof_mcp-0.1.1.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
paperproof_mcp-0.1.1.dist-info/entry_points.txt,sha256=Z9WajCwq5k4xjkn012SmQiEPdpzzhCZ9PGxGZW-uL2Q,64
paperproof_mcp-0.1.1.dist-info/licenses/LICENSE,sha256=ZsWHvXNvxXcDqam9BdjIDrcRSbEcfjnM2vuoqc4CdqU,1387
paperproof_mcp-0.1.1.dist-info/RECORD,,
