Solution to https://www.whitehouse.gov/blog/2015/05/17/hello-world
fabianvf/whitehouse.gov-problem
Proof of solution to https://www.whitehouse.gov/blog/2015/05/17/hello-world
CoqMIT
Proof of solution to https://www.whitehouse.gov/blog/2015/05/17/hello-world
CoqMIT