Solving a puzzle using the Isabelle proof assistant

Article URL: https://gist.github.com/jmoy/59c0ef25196716f1a0f4fd0efae6e099

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

Points: 4

# Comments: 1

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