Giters
intension
There are 1 repository under intension topic.
CodeEquivalenceUtilities
rhennigan
/
CodeEquivalenceUtilities
Utilities for testing code equivalence
wolfram-language
metaprogramming
canonical-forms
code-comparison
code-transformations
education
equality
equivalence
type-theory
intension
Language:
Mathematica
Stargazers:
7