Metamorphic testing with Lean4-verified mutations finds compiler miscompilations

(nowarp.io)

2 points | by jubnzv_ 7 hours ago ago

No comments yet.