2 animated visualizations for GitHub repositories tagged theorem-proving.
fstarlang/fstar
coq/coq
Advertisement
