More dead code removal - Githubissues

egraphs-good / egglog

egraphs + datalog!

https://egraphs-good.github.io/egglog/

MIT License

459 stars 54 forks source link

Closed Alex-Fischman closed 1 month ago

Alex-Fischman commented 1 month ago

This PR removes code related to proofs, on the basis that we don't have proofs yet.