Open
Description
Normalization is part of V3 to enable automatic feedback. It would be super interesting to evaluate how much normalization can reduce the number of different representations depending on which normalization strategies are applied, and combined.
Ideally I'd love to have something like a pyramid of normalizations, that would also help classifying solutions, to present different solutions categories in the website interface.