5 animated visualizations for GitHub repositories tagged proof-assistant.
mzi-lang/mzi-dev
agda/agda
fstarlang/fstar
coq/coq