Coming Soon: Machine-Checked Proofs in Everyday Development

Article URL: http://ift.tt/2EfGusD

Comments URL: http://ift.tt/2zQ5nrH

Points: 92

# Comments: 14

from Hacker News: Front Page http://ift.tt/2EfGusD
via