program-proof source code visualizations

1 animated visualization for GitHub repositories tagged program-proof.