Linking pages
- 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
- Egglog Examples: Pullbacks, SKI, Lists, and Arithmetic | Hey There Buddo! https://www.philipzucker.com/egglog-3/ 0 comments
- GitHub - newca12/awesome-rust-formalized-reasoning: An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification. https://github.com/newca12/awesome-rust-formalized-reasoning 0 comments
Linked pages
- egg https://egraphs-good.github.io/ 22 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
Related searches:
Search whole site: site:github.com
Search title: GitHub - philzook58/egglog: Datalog + Egg = Good
See how to search.