coq-library source code visualizations

2 animated visualizations for GitHub repositories tagged coq-library.