formal-verification source code visualizations

1 animated visualization for GitHub repositories tagged formal-verification.