Fiddling with building a theorem prover https://www.philipzucker.com/egglog/ Bui...

		philzook on Nov 2, 2021 \| parent \| context \| favorite \| on: Ask HN: What you up to? (Who doesn't want to be hi... Fiddling with building a theorem prover https://www.philipzucker.com/egglog/ Building a robot that places marbles into a picture https://www.philipzucker.com/marble-machine-progress/