Examples Gallery#
This is a gallery of examples, most of which were translated from the original egglog rust examples.
Fibonacci numbers example
Boolean data type example and test
Boolean data type example and test
Schedule demo
Basic equality saturation example.
Basic equality saturation example.
Resolution theorem proving.
N-Dimensional Arrays
Matrix multiplication and Kronecker product.
Matrix multiplication and Kronecker product.
Lambda Calculus