https://github.com/rhennigan/codeequivalenceutilities

Utilities for testing code equivalence

canonical-forms code-comparison code-transformations education equality equivalence intension metaprogramming type-theory wolfram-language

Last synced: 28 Mar 2025