RH

rhennigan/CodeEquivalenceUtilities

Utilities for testing code equivalence

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

No README found.

Languages

Mathematica100.0%Shell0.0%

Contributors

Latest Release

v3.0.1June 25, 2024 + 4 more releases

MIT License

Created October 8, 2021

Updated November 18, 2025

rhennigan/CodeEquivalenceUtilities | GitHunt