gonzalgo/__init__.py,sha256=-urVC5YQDh6uGAMk3CkM0JYk97vgIKAvQzzWN_T-dqw,1104
gonzalgo/__main__.py,sha256=k1ocEWawweo1qCJWNFAAvyxz3tcY13dzvCenHszij30,48
gonzalgo/cli.py,sha256=oGbCU8tNjX5VgAqVyKK7fmn_C9r8yOMNoEx9fkzjALE,14892
gonzalgo/graph.py,sha256=HhAg7DMnWdfeuujfcKngYsycd7Et61YS8_MqDA95o_Q,9839
gonzalgo/lean.py,sha256=fXakbUTnyaAz8GF-ApcnLRtwJsT8o4pwvMhoSL63W8c,9422
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.3.0.dist-info/METADATA,sha256=1mLRQqFKBWa7jhXV4Zx3_UboxP6im_WK_OWRW9-yHeo,16012
gonzalgo-0.3.0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
gonzalgo-0.3.0.dist-info/entry_points.txt,sha256=y5z0kagBVqRLGkdJebFJMtVF8NoQTvSn_qDx5DuaVSA,47
gonzalgo-0.3.0.dist-info/licenses/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
gonzalgo-0.3.0.dist-info/licenses/NOTICE,sha256=71ymF70JbmE3mGPXsRxVboIATHRXGK2-ECloWgZt3-c,831
gonzalgo-0.3.0.dist-info/RECORD,,
