G gist.github.com Solving a puzzle using the Isabelle proof assistant 48 points yomritoyj 8 years ago 16 comments
