Post #2667995

@mc@mathstodon.xyz I wouldn't count it an additional "contribution". It's one aspect of validation of the contribution. If the formalization does not itself introduce new techniques or insights, it's comparable to some performance evaluation or user acceptance testing.