# 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.

Higher Order Functions

Resolution theorem proving.

N-Dimensional Arrays

Matrix multiplication and Kronecker product.

Matrix multiplication and Kronecker product.

Lambda Calculus