gonzalgo/__init__.py,sha256=-_yUwE3aQuNywooHlKrV35uMDUSfD0mpmNlgq-vxKYk,1104
gonzalgo/__main__.py,sha256=k1ocEWawweo1qCJWNFAAvyxz3tcY13dzvCenHszij30,48
gonzalgo/cli.py,sha256=eGa8dGIfM3JRFLn-1b4Q28r4J_3LFLeDWHpdDLkOBVk,8778
gonzalgo/graph.py,sha256=ojQqHUlBDMgbO0S_LTJwHEw9iJp0Tqw4w-rmt2ZVATs,8760
gonzalgo/lean.py,sha256=pL_qjZvVb31bOBWaP2zKm2UbWff_bd4XXyWd04NGXyw,7699
gonzalgo/lean_files.py,sha256=oh3LNTIxP1B3etAlGV1S2cuFWe_GpxqW1W0SshHZMKo,1273
gonzalgo/metamath.py,sha256=cIb0ntnK2sTQlAL6q0pp9Ye_f6g18tQbwCIKbCu1vd0,6578
gonzalgo/lean_files/Extract.lean,sha256=nZu1TYWA6UwU3_rUIRtlIA-Sc7fj_NMRV5eMk2mbgn4,1818
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=LAIkQqUsUwlkipQA35COzolqLNUNQHxffzqGiHtAsfQ,2203
gonzalgo/lean_files/Substitute.lean,sha256=iWhekHjIby6mR89Gwbe1wsRWTDGXbXbGTI0EEKGB6sk,9369
gonzalgo-0.1.0.dist-info/METADATA,sha256=s5Hq9GxZn-ePQW6QpSiYbWvSxK9rNoUhFBWVICmfAh4,7484
gonzalgo-0.1.0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
gonzalgo-0.1.0.dist-info/entry_points.txt,sha256=y5z0kagBVqRLGkdJebFJMtVF8NoQTvSn_qDx5DuaVSA,47
gonzalgo-0.1.0.dist-info/licenses/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
gonzalgo-0.1.0.dist-info/licenses/NOTICE,sha256=71ymF70JbmE3mGPXsRxVboIATHRXGK2-ECloWgZt3-c,831
gonzalgo-0.1.0.dist-info/RECORD,,
