GitHub repository: mgagni/hello-word
Created: 2016-04-05T10:55:20Z
Description: My first proof