eqtheory/__init__.py,sha256=suiUZc39grSS9K536ssvgt-hgtA81dyskhUYQbx2Zn4,1663
eqtheory/cli.py,sha256=f6jEQ9pxEN4YAvUMa8I8QoDdUcwa1UtwwtsiLk0ACpY,9388
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=5fp-AKTe9ZZkx4uJa2qr6qxAFCAzfudFX8WBeZCX1mE,12001
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.3.0.dist-info/licenses/LICENSE,sha256=mp8goeaOVok4Rwaz5c3ksnuvnJN27EM0zP_372ezvGY,1068
eqtheory-0.3.0.dist-info/METADATA,sha256=XEO0OrzS3Eehr-_Vhn2WM9Z4KFAmWLpZl7Wz8Fe7KeQ,7148
eqtheory-0.3.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
eqtheory-0.3.0.dist-info/entry_points.txt,sha256=twhqyzM1LbY7DFqYSDKhJXbhhGqmQqwtogeituXZgnI,47
eqtheory-0.3.0.dist-info/top_level.txt,sha256=zTxJtR-Ur_KQK2TGakuD7TLgvI0l7PURqod1MuNhsTU,9
eqtheory-0.3.0.dist-info/RECORD,,
