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 BigNum/BigRat Example BigNum/BigRat Example Boolean data type example and test Boolean data type example and test Schedule demo Schedule demo Basic equality saturation example. Basic equality saturation example. Higher Order Functions Higher Order Functions Multiset example based off of egglog version Multiset example based off of egglog version 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
