eqtheory/__init__.py,sha256=6Tw_hBmUVo_vG3Z20Jo5m93X6s1lfJjCOqBv0H4Wl-o,1663
eqtheory/cli.py,sha256=DfIXifYNFXYd0tMvUWRsanbe-gQPZJIJpC2m2UXgl9I,9157
eqtheory/completion.py,sha256=wdzthGh8obIFkMCGpeTS56BsNvliIEIV59XaGr_g8w0,16094
eqtheory/config.py,sha256=FlwwUStZZAsAxQ99Y0eUkxHLKvZuQrzJas4OfFU7LdU,4967
eqtheory/egraph.py,sha256=kGLhCGZ4ea7B9kCha4weHNwGjJjaYLlY57O3pcoGZS4,16227
eqtheory/llm.py,sha256=4qvMoGMrUoKVxS5DuJZecWtqi9vJzHRqBp0wPhZtcZE,17728
eqtheory/proofs.py,sha256=Ncd1seQc373i-IZxIlTsdxabYWOxaQmGhyJKtz2uRVU,5178
eqtheory/solve.py,sha256=CtPsjSKluk5Tsagahbandwyy6ez4VzdN-ulDelOMvpM,10823
eqtheory/terms.py,sha256=P5FPX5TyDUv-id7I5pERQGzUd-tBwr7OTvruu9Tq2vU,10562
eqtheory/viz.py,sha256=MVM-4fXfx01wNAsPzPbwoKfdcC_nH0uGmBBqAAYoAa0,5140
eqtheory/lean/__init__.py,sha256=1UotTx2p0sH9KabfZu1b58lMqbdpPV5zN2K-Lna9hzY,1080
eqtheory/lean/certs.py,sha256=J82kRUoxo5ogYO7OBviGDj8-J1t7RaZBBe0V70Vj7JU,17157
eqtheory/lean/check.py,sha256=JUeMD_1xeSKcuehDXt6KBkERHOErRtaJepVh3QJrajo,7319
eqtheory/models/__init__.py,sha256=OOViuiLrwURV3ejQO-GoWr63s1aYL8W1uqNCdWPmM3Y,746
eqtheory/models/finite.py,sha256=K1859AvSz2aL2L18u4JMy4RcbOQyUHOKR2xlO2VNiDI,29200
eqtheory/models/infinite.py,sha256=qQg5cQpU3P4LgHM4Yd38cIp6Sva0pFu8B41B2dXJP44,3697
eqtheory-0.2.0.dist-info/licenses/LICENSE,sha256=mp8goeaOVok4Rwaz5c3ksnuvnJN27EM0zP_372ezvGY,1068
eqtheory-0.2.0.dist-info/METADATA,sha256=9NdCp6prSOdiQZ_Jo-1bGFxiR_YU7dTnk903UVCiGUQ,7148
eqtheory-0.2.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
eqtheory-0.2.0.dist-info/entry_points.txt,sha256=twhqyzM1LbY7DFqYSDKhJXbhhGqmQqwtogeituXZgnI,47
eqtheory-0.2.0.dist-info/top_level.txt,sha256=zTxJtR-Ur_KQK2TGakuD7TLgvI0l7PURqod1MuNhsTU,9
eqtheory-0.2.0.dist-info/RECORD,,
