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=Y7oQRCrWBLgSbqfHRdheNTmWoAa6txum87ItAB8SCKI,2096
paperproof_mcp/lean_runner.py,sha256=9kzGXfDGbXvfMm9KPyPxUxFQtOTR8S1rBSMHhGY8g00,15617
paperproof_mcp/natural.py,sha256=S-xKFmtJYAys9k8NwgZz4VyjvKgEEGqrKGYRgdHfFGc,6354
paperproof_mcp/server.py,sha256=C3siJqMaeoSyYeCE0WTwzg1K-e11tncfhxHhdp3Zi2g,9071
paperproof_mcp/lean_parsers/v4.25.0.lean,sha256=23GqisHCoRY2NJhXq2AuYEOFagl_tkgjA2MhiSB_M0k,22962
paperproof_mcp/lean_parsers/v4.27.0.lean,sha256=CTMZw33z5VQ5fdVqkVU955gABXiBkyhdgvszarDsX0U,23023
paperproof_mcp-0.2.5.dist-info/METADATA,sha256=Rasm8tGvWLFUdS6BbSdtZoAk8kNNVZl8hejdpn9s1HI,6861
paperproof_mcp-0.2.5.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
paperproof_mcp-0.2.5.dist-info/entry_points.txt,sha256=Z9WajCwq5k4xjkn012SmQiEPdpzzhCZ9PGxGZW-uL2Q,64
paperproof_mcp-0.2.5.dist-info/licenses/LICENSE,sha256=ZsWHvXNvxXcDqam9BdjIDrcRSbEcfjnM2vuoqc4CdqU,1387
paperproof_mcp-0.2.5.dist-info/RECORD,,
