interactive-theorem-proving source code visualizations

1 animated visualization for GitHub repositories tagged interactive-theorem-proving.