gonzalgo/__init__.py,sha256=Vsg7w-fDY6V6lMm5E8hjxCTsy0UTWG46Gaovh10tRTU,1134
gonzalgo/__main__.py,sha256=SCuGk-L-bb1zLj15YeA4J9PvoYe60R0p2hiL5YDrvuo,51
gonzalgo/cli.py,sha256=AHC_w_mMxmzes1VZ_4unI3Z9z_RmgieM2avoAxvsgww,22672
gonzalgo/graph.py,sha256=E3Q2bzcWNabgvJiO6VtQTVUHnJerB0qwJd2Ll351NMA,10074
gonzalgo/lean.py,sha256=VpPyhZkYvoQ-kf6wzWvrv_2AEjSSTeoA5Sy8Ly0NDvQ,9674
gonzalgo/lean_files.py,sha256=qSJn9uB7XWFpXgxvOutdUvI_2HhSrHio5QH0RvILdBs,1312
gonzalgo/mcp_server.py,sha256=kBjNnL1ax0irFiIZdEc1LAeMHIqF7nOsomepWy15s74,17051
gonzalgo/metamath.py,sha256=vUIBV_R4JBcWBwfoP5tNUMxuoNYDQZdgvmpmSaWNnS4,6786
gonzalgo/data/kernel-index.json,sha256=ltccRGLyoKkqx1esctsjqglVLPObNWux3bJQ8WK44hI,5503
gonzalgo/lean_files/Extract.lean,sha256=CW8ZgFiN_eemEnDDsvGPpTPr4U7sl5ek7rz0MtOswBI,1868
gonzalgo/lean_files/OmegaFix.lean,sha256=nftNaVK-b-SXagsYDipvC8XlnHciX7oHBwk00Dm2A5s,34793
gonzalgo/lean_files/Rewrite.lean,sha256=qZMthzwFuXuT69y7JHb50iZdar7ERs-3Di3qIabExSM,6319
gonzalgo/lean_files/Split.lean,sha256=h_-ObUywaqb8d-6-bkSdvvwrm-tHRabW51YFeJHX0Y4,2824
gonzalgo/lean_files/Substitute.lean,sha256=iWhekHjIby6mR89Gwbe1wsRWTDGXbXbGTI0EEKGB6sk,9369
gonzalgo-0.5.3.dist-info/METADATA,sha256=zu2Us0sb2_j2PabWUkqOuf7R5Rw_GU752iwi_4HFWMM,26280
gonzalgo-0.5.3.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
gonzalgo-0.5.3.dist-info/entry_points.txt,sha256=5Nu8iA23V8hnGPSP9MpxlLA9B3su5YyYxnDwUpKSWkU,87
gonzalgo-0.5.3.dist-info/licenses/LICENSE,sha256=Pd-b5cKP4n2tFDpdx27qJSIq0d1ok0oEcGTlbtL6QMU,11560
gonzalgo-0.5.3.dist-info/licenses/NOTICE,sha256=BQQ9H2cf8TB5oWkzZ2a2FsGiwFDPrlxhIsgq86uOsqo,851
gonzalgo-0.5.3.dist-info/RECORD,,
