You Don't Know Jack About Formal Verificationqueue.acm.org 3 pointsaravindputrevu2 months ago3 commentsSaveHideCopy link On HNComments−Jtsummers2mohttps://news.ycombinator.com/item?id=48719521Previous discussion (with a different title which made finding it harder)−aravindputrevuOP2moSorry, did not realize that it was submitted.−carlsborg2moCorrect link is https://queue.acm.org/detail.cfm?id=3819084
Comments
https://news.ycombinator.com/item?id=48719521
Previous discussion (with a different title which made finding it harder)
Sorry, did not realize that it was submitted.
Correct link is https://queue.acm.org/detail.cfm?id=3819084