Metamorphic testing with Lean4-verified mutations finds compiler miscompilations

(nowarp.io)

2 points | by jubnzv_ 8 hours ago

No comments yet.