Proof Checking: Not Line by Line

Article URL: https://rjlipton.wordpress.com/2020/06/13/proof-checking-not-line-by-line/

Comments URL: https://news.ycombinator.com/item?id=23514567

Points: 3

# Comments: 0

from Hacker News: Front Page https://ift.tt/2zss4I2
via