Machine-Generated Code Deserves Machine-Checked Proofs

(zoep.github.io)

3 points | by matt_d 5 days ago ago

No comments yet.