eqtheory/__init__.py,sha256=KWEQEg9qlYRkC-OSuIzG6TMw1vHM4q_ZxJViZqon4B4,1579
eqtheory/cli.py,sha256=Fa5Q9ROSma05VC1HpXTVdWVe2lqm1L2tITsUdaD1p2s,8710
eqtheory/completion.py,sha256=wdzthGh8obIFkMCGpeTS56BsNvliIEIV59XaGr_g8w0,16094
eqtheory/egraph.py,sha256=kGLhCGZ4ea7B9kCha4weHNwGjJjaYLlY57O3pcoGZS4,16227
eqtheory/llm.py,sha256=oqvs25i0IkfE5DrLMI6IhGCqnFXZ-H8OyV_S14zXyWo,17171
eqtheory/proofs.py,sha256=Ncd1seQc373i-IZxIlTsdxabYWOxaQmGhyJKtz2uRVU,5178
eqtheory/solve.py,sha256=mfR0P7WRvVud1sUts0BD_2VfTzadOJOEV9TSgCTR1_w,10459
eqtheory/terms.py,sha256=P5FPX5TyDUv-id7I5pERQGzUd-tBwr7OTvruu9Tq2vU,10562
eqtheory/viz.py,sha256=MVM-4fXfx01wNAsPzPbwoKfdcC_nH0uGmBBqAAYoAa0,5140
eqtheory/lean/__init__.py,sha256=aU5wQmueP-lUnnZtSii6hWgKuqvFJyk2xaHXzKsRvHg,1026
eqtheory/lean/certs.py,sha256=WX397MEL-k28xi4J9qD2qYtFl1Uj0Z-YLsJ9JkMCJxg,13238
eqtheory/lean/check.py,sha256=8JSO2ruN1iKkd9Hw0h6SDbPBmVpHZI3FgzxVlV1Tv2U,4673
eqtheory/models/__init__.py,sha256=OOViuiLrwURV3ejQO-GoWr63s1aYL8W1uqNCdWPmM3Y,746
eqtheory/models/finite.py,sha256=Wa-HSPg_cVt03ABTV_iEEg4FsdN1Qsb2hD5rDkLMl7E,28959
eqtheory/models/infinite.py,sha256=qQg5cQpU3P4LgHM4Yd38cIp6Sva0pFu8B41B2dXJP44,3697
eqtheory-0.1.0.dist-info/licenses/LICENSE,sha256=mp8goeaOVok4Rwaz5c3ksnuvnJN27EM0zP_372ezvGY,1068
eqtheory-0.1.0.dist-info/METADATA,sha256=yBpsAWK2y3hlB5jGGyFeFX-t_Du37rP4uDdtTWveMRA,5693
eqtheory-0.1.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
eqtheory-0.1.0.dist-info/entry_points.txt,sha256=twhqyzM1LbY7DFqYSDKhJXbhhGqmQqwtogeituXZgnI,47
eqtheory-0.1.0.dist-info/top_level.txt,sha256=zTxJtR-Ur_KQK2TGakuD7TLgvI0l7PURqod1MuNhsTU,9
eqtheory-0.1.0.dist-info/RECORD,,
