Rocq Prover source code visualizations

1 animated visualization for Rocq Prover repositories on GitHub.