Metamorphic testing with Lean4-verified mutations finds compiler miscompilations

 (nowarp.io)

2 points | by jubnzv_ 7 hours ago ago

No comments yet.