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