Proof of solution to https://www.whitehouse.gov/blog/2015/05/17/hello-world
Primary LanguageCoqMIT LicenseMIT