gonzalgo/__init__.py,sha256=EN871mlchiqsUkLxQP_tTtEBhowAwT6C4G9juvc1yLk,1134
gonzalgo/__main__.py,sha256=SCuGk-L-bb1zLj15YeA4J9PvoYe60R0p2hiL5YDrvuo,51
gonzalgo/cli.py,sha256=HvKUWz4c7uZvVjkYzW3_-r0McH0a_8YZdy5gLYszcx4,22909
gonzalgo/graph.py,sha256=E3Q2bzcWNabgvJiO6VtQTVUHnJerB0qwJd2Ll351NMA,10074
gonzalgo/lean.py,sha256=h62XTOT6nSSEO_fQ2YchBLnMcgjRyAHY8F1ToSV9gTU,11372
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.5.dist-info/METADATA,sha256=UsMVHYXPW_mgrEp5SG8TcuDxO1VZrcq1k8MAWD7IN98,26536
gonzalgo-0.5.5.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
gonzalgo-0.5.5.dist-info/entry_points.txt,sha256=5Nu8iA23V8hnGPSP9MpxlLA9B3su5YyYxnDwUpKSWkU,87
gonzalgo-0.5.5.dist-info/licenses/LICENSE,sha256=Pd-b5cKP4n2tFDpdx27qJSIq0d1ok0oEcGTlbtL6QMU,11560
gonzalgo-0.5.5.dist-info/licenses/NOTICE,sha256=BQQ9H2cf8TB5oWkzZ2a2FsGiwFDPrlxhIsgq86uOsqo,851
gonzalgo-0.5.5.dist-info/RECORD,,
