3 ms·
Fiddling with building a theorem prover https://www.philipzucker.com/egglog/ https://www.philipzucker.com/egglog/ Building a robot that places marbles into a p
by philzook 5y ago
Fiddling with building a theorem prover https://www.philipzucker.com/egglog/ https://www.philipzucker.com/egglog/
Building a robot that places marbles into a picture https://www.philipzucker.com/marble-machine-progress/ https://www.philipzucker.com/marble-machine-progress/