This is pretty kick-ass: machine-generated formal proofs in computer science. Let me say that I, for one, welcome our new generic theorem-proving overlords.
This is pretty kick-ass: machine-generated formal proofs in computer science. Let me say that I, for one, welcome our new generic theorem-proving overlords.
No comments:
Post a Comment