Linking pages
- A Simplified E-graph Implementation | Hey There Buddo! https://www.philipzucker.com/a-simplified-egraph/ 7 comments
- Egglog 2: Automatically Proving the Pullback of a Monic is Monic | Hey There Buddo! https://www.philipzucker.com/egglog2-monic/ 2 comments
- Egglog: a Prolog Syntax for Egg, Checkpoint I | Hey There Buddo! https://www.philipzucker.com/egglog-checkpoint/ 0 comments
- Replicating Rise4Fun Z3 with z3-wasm | Hey There Buddo! https://www.philipzucker.com/replacing-rise4fun/ 0 comments
Linked pages
Related searches:
Search whole site: site:www.philipzucker.com
Search title: Rewriting Monoidal Categories in the Browser with Egg | Hey There Buddo!
See how to search.