Metamorphic testing with Lean4-verified mutations finds compiler miscompilationsnowarp.io2 points·jubnzv_··0 commentsOpen articleSaveView on HN